deeglaze/Typed-Racket-SMT-type-checker

Stars
11
Rank 1,661,300 (Top 34 %)
Language
Racket
Created about 13 years ago
Updated about 13 years ago

deeglaze/Typed-Racket-SMT-type-checker

deeglaze

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

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

scribble-latex-utils

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

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.

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.