deeglaze/arctic-circle deeglaze/arctic-circle

  • Stars
    star
    1
  • Language
    Racket
  • License
    Apache License 2.0
  • Created almost 4 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
deeglaze/arctic-circle
github

deeglaze

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Simple program for illustrating random Aztec tilings for the Arctic circle theorem

More Repositories

1

scribble-latex-utils

Different useful things I have come up with to write my papers in scribble rather than directly in LaTeX
Racket
13
star
2

Typed-Racket-SMT-type-checker

An SMT solver with an interactive interface so it can be used as an inference engine.
Racket
11
star
3

macro-models

Typed Racket implementations of macro expander models from Matthew Flatt
Racket
9
star
4

slideshow-helpers

Combinators and pict constructors I have found useful for writing slideshow presentations.
Racket
3
star
5

Abstract-Redex

An implementation of core PLT Redex semantics that is translated through the Abstracting Abstract Machines systematic abtraction process.
Racket
2
star
6

polymorphic-splitting-port

A Racket port of Suresh Jagannathan's and Andrew Wright's Polymorphic Splitting implementation.
Racket
2
star
7

nifty-macros

A collection of general-purpose macros I've written and find generally useful.
Racket
2
star
8

Generalized-CFA2

An extension to Vardoulakis' CFA2 to work with any sound escape analysis.
Racket
1
star
9

small-mcfa

A reference implementation for a fast abstract interpreter, using the mcfa allocation strategy.
Racket
1
star
10

AAM-ify

A redex-inspired language of operational semantics with an automatic "abstracting abstract machines" transformation.
Racket
1
star
11

temporal-aam

Racket
1
star
12

deeglaze-talks

The code and materials to my various talks, so people can replicate slides, etc.
Racket
1
star