deeglaze/nifty-macros

Stars
2
Language
Racket
License
Apache License 2.0
Created over 11 years ago
Updated over 5 years ago

deeglaze/nifty-macros

deeglaze

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

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

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.

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 theorem

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.