Justin Slepak

Remora. Dependently-typed language with Iverson-style implicit lifting

Revised-Remora. Semantic model based on a revision of the ESOP'14 paper

makanin-algo. Implementation of Makanin's algorithm for string equation satisfiability

APLicative. Using Applicative to illustrate the semantics of APL arrays + first-class functions

murmur3. Racket FFI binding for MurmurHash3

LinLambda. Demonstration of PLT Redex -- STLC with linear types

remorac. Compiler for a rank-polymorphic array language

racket. The Racket repository

F3TermHack. Handles Fallout 3's terminal hacking puzzles