deeglaze/Abstract-Redex

Stars
2
Language
Racket
Created about 12 years ago
Updated about 12 years ago

deeglaze/Abstract-Redex

deeglaze

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

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

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.

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 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.