Lists (5)
Stars
7
stars
written in Racket
Clear filter
The Pie language, which accompanies The Little Typer by Friedman and Christiansen
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
[Mirror] A close reading of the μKanren paper.
a Racket Compiler built @RecurseCenter that also answers the ultimate question of the meaning of life, the universe and everything.
Programmable Realtime Unit (PRU) assembler, disassembler, and debugger.