localchart/ydiff-1
a structural comparison tool for Lisp
Lisp interpreter write in OCaml
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
a structural comparison tool for Lisp
Relational implementation of the CESK machine
miniKanren with a pure negation operator
An abstract machine for analyzing Racket bytecode.