WIP implementation of a Haskell-like Lisp in Racket

The Pie language, which accompanies The Little Typer by Friedman and Christiansen

Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.

Dependently-typed language with Iverson-style implicit lifting

i386, x86_64, ARMv7 assembler/linker; Nothing-like mid-level language; Linear-scan register allocator; Operating system for Raspberry Pi

Racket implementation and notes for SICP's video lectures.

Org mode for Racket

An experimental DSL for handling state and updates, along with constraints, in Rosette.

Optimizing Abstract Abstract Machines

ANSI and VT10x escape sequences for Racket.

A small lens library for Racket.

An Ohm-style parsing package.