There are no reviews yet. Be the first to send feedback to the community and the maintainers!
scribble-latex-utils
Different useful things I have come up with to write my papers in scribble rather than directly in LaTeXTyped-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 Flattslideshow-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.arctic-circle
Simple program for illustrating random Aztec tilings for the Arctic circle theoremsmall-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.deeglaze-talks
The code and materials to my various talks, so people can replicate slides, etc.Love Open Source and this site? Check out how you can help us