Pinned

1. minisat-rust minisat-rust Public

   Experimental minisat SAT solver reimplementation in Rust

   Rust 71 6

2. tangles tangles Public

   Knot Theory library focusing on k-tangles

   Haskell 13 4

3. henk2000 henk2000 Public

   Pure Type Systems for Functional Programming

   Haskell 11 1

4. diagrams-tangles diagrams-tangles Public

   Drawing tangles using diagrams library

   Haskell 1

5. nixie nixie Public

   Simple Nixe Clock

   C++ 1

6. tangles-util tangles-util Public

   Haskell