deeglaze/arctic-circle

Stars
1
Language
Racket
License
Apache License 2.0
Created almost 4 years ago
Updated almost 4 years ago

deeglaze/arctic-circle

deeglaze

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

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

scribble-latex-utils

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

Typed-Racket-SMT-type-checker

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

macro-models

Typed Racket implementations of macro expander models from Matthew Flatt

slideshow-helpers

Combinators and pict constructors I have found useful for writing slideshow presentations.

Abstract-Redex

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

polymorphic-splitting-port

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

nifty-macros

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

Generalized-CFA2

An extension to Vardoulakis' CFA2 to work with any sound escape analysis.

small-mcfa

A reference implementation for a fast abstract interpreter, using the mcfa allocation strategy.

AAM-ify

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

temporal-aam

deeglaze-talks

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