Alexander Mishunin (@mishun)
github

mishun

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    99
  • Global Rank 209,271 (Top 8 %)
  • Followers 5
  • Following 1
  • Registered almost 13 years ago
  • Most used languages
    Haskell
         60.0 %
    C
         20.0 %
    Rust
         20.0 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 45,224
  • Country Ranking
    Haskell
         539
    Rust
         1,413

Top repositories

1

minisat-rust

Experimental minisat SAT solver reimplementation in Rust
Rust
71
star
2

tangles

Knot Theory library focusing on k-tangles
Haskell
13
star
3

henk2000

Pure Type Systems for Functional Programming
Haskell
11
star
4

plantri

plantri: canonical construction path enumeration of planar graphs (taken from http://users.cecs.anu.edu.au/~bdm/plantri/)
C
3
star
5

diagrams-tangles

Drawing tangles using diagrams library
Haskell
1
star