Discover @8BitMate Open Source projects

Asbjørn Gaarde (@8BitMate)

8BitMate

Stars
133
Global Rank 168,229 (Top 6 %)
Followers 11
Following 4
Registered about 9 years ago
Most used languages

Haskell
100.0 %
Location 🇳🇴 Norway
Country Total Rank 775
Country Ranking

Haskell
46

Connection-Prover

A connection based first order logic prover written in Haskell.