Curtis Fenner CurtisFenner

Pinned

1. ProofCheckerWeBWorK

   Perl

2. side-by-side-comparer

   a small C program to compare text files side-by-side

   C

3. smol-builder

   The Smol compiler and reference document

   Lua 1

4. luafmt

   A code formatter for Lua

   Lua 8 1

5. cnf-solver

   A small CNF-SAT solver implementing simple conflict driven clause learning (CDCL) and a simple branching heuristic.

   Lua

6. lua-datastructures

   Interesting datastructures in Lua

   Lua