Alexander Mishunin mishun

• St. Petersburg

Pinned Loading

1. Experimental minisat SAT solver reimplementation in Rust

   Rust 74 7

2. Knot Theory library focusing on k-tangles

   Haskell 16 6

3. Pure Type Systems for Functional Programming

   Haskell 11 1

4. Drawing tangles using diagrams library

   Haskell 1