deeglaze/scribble-latex-utils

Stars
13
Rank 1,482,894 (Top 30 %)
Language
Racket
Created about 12 years ago
Updated almost 12 years ago

deeglaze/scribble-latex-utils

deeglaze

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

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.

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.