Pinned Loading

1. smatch smatch Public

   regexes for trees; grep for s-exprs

   Rust 16 1

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

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

   Scala 1 1

3. damncheck damncheck Public

   A property-based testing library for D

   D 5 1

4. termpaint termpaint Public

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

   C 2

5. mail-lang mail-lang Public

   Esoteric programming language based on emails

   Python 1

6. steg steg Public

   Text-to-text steganography tool

   D 8 1