Pinned Loading

1. lemma lemma Public

   A Lisp designed to integrate with Lua.

   Lua 9 2

2. rs-babygc rs-babygc Public

   A port of Bob Nystrom's "Baby's First Garbage Collector" to Rust

   Rust 16

3. tmk tmk Public

   A Tcl-powered `make` replacement

   C 1

4. grammarck grammarck Public

   A tool to check context-free grammars for certain properties

   OCaml

5. tiny7 tiny7 Public

   A small-footprint, embeddable interpreter for R7RS-small Scheme

   C 3 1

6. crux-ports crux-ports Public

   Some ports for the CRUX operating system

   Shell 5 1