All Git Users → jix

2 open source projects by jix

[ Open user page on Github ]

SAT solver written in Rust

✭ 168

Lower Size Bounds for Sorting Networks

✭ 35

Isabelle rust haskell

1-2 of 2 user projects