Discover @8BitMate Open Source projects

Asbjørn Gaarde (@8BitMate)

8BitMate

Stars
133
Global Rank 168,467 (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
51

Connection-Prover

A connection based first order logic prover written in Haskell.