Pinned Loading

1. sat-solver sat-solver Public

   SAT (Boolean Satisfiability) solver.

   C

2. turing-machine turing-machine Public

   Turing machine simulator, multiple tapes and nondeterminism.

   Scheme 5

3. typewriter typewriter Public

   Typewriter inspired text editor at the command line.

   Common Lisp 7

4. gforth-sdl2 gforth-sdl2 Public

   SDL2 bindings for GForth.

   Forth 4