GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ irifrance
2 open source projects by irifrance
[ Open user page on Github ]
1.
Gini
A fast SAT solver
✭ 112
go
testing
artificial-intelligence
fuzzing
verification
dependencies
concurrent
2.
bb
bit io
✭ 13
go
1-2
of
2
user projects