Michael Ballantyne

faster-minikanren. A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.

syntax-spec. A metalanguage for creating sophisticated DSLs in Racket.

meta-minikanren. A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!

multiscope. A module language for programming with multiple named scopes, orthogonal to lexical nesting.

homebrew-chez. Homebrew tap for installing Chez Scheme (https://github.com/cisco/chezscheme)

miniKanren-occurrence-type-inferencer. Scheme

ee-lib. Racket

hosted-minikanren. An optimizing compiler implementation of miniKanren for Racket

backjumping-miniKanren. HTML

dKanren. Pure miniKanren with fair conjunction by iterative distribution and reduction

mkcdcl. miniKanren with conflict-driven clause learning using a SAT solver

racket-peg-ee. Racket

multiscope2. A module language for programming with multiple named scopes, orthogonal to lexical nesting.

racketcon-2025. Code from my RacketCon 2025 talk

scheme-workshop-2015. Relational interpreters from our Scheme 2015 talk

type-expander. Type expanders (i.e. type-level functions) for Typed/Racket

montecarlo-pi. Multithreaded monte carlo calculation of pi

sql-injection-competition. Intentionally vulnerable webapp created for an SQL injection competition

typed-racket-performance. Racket

fulmar. Generate formatted C++ from Racket S-expressions

extdsl-oopsla2020-artifact. Artifact for "Macros For Domain-Specific Languages", OOPSLA 2020

minipeg. A small implementation of Parsing Expression Grammars (PEGs) in Racket

syntax-generic. Language forms for generic functions over syntax objects in Racket

core-forms. Description of in-progress research on adding programmer-defined core forms to Racket's expander

hyol-s25-public. Code from lectures in my Spring 2025 "Hack Your Own Language" course

syntax-generic2. Racket

macros-lecture-f24. Racket

macropatterns. Racket

scope-sets-hygiene-lecture. Mini expander and examples for a lecture on macro hygiene via scope sets