Pinned Loading

1. smatch smatch Public

   regexes for trees; grep for s-exprs

   Rust 18 1

2. propel-prover/propel propel-prover/propel Public

   Check the commutativity, associativity, idempotency, and other algebraic properties of your functions and relations

   Scala 7 2

3. lean2tex lean2tex Public

   Generate LaTeX from Literate Lean4

   Python

4. damncheck damncheck Public

   A property-based testing library for D

   D 5 1

5. termpaint termpaint Public

   MS Paint, but in the terminal: draw with your mouse

   C 2

6. mail-lang mail-lang Public

   Esoteric programming language based on emails

   Python 1