AlphaUncommon
nomeata/incredible
The Incredible Proof Machine
- Owner
- nomeata (personal account)
- Stars
- Stars: 398
- Forks
- Forks: 41
- Language
- Haskell
- License
- MIT
- Created
- 2015
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by nomeata
All 8 repos by nomeata- nomeata/arbttStars: 365HaskellAlpha
- nomeata/inspection-testingStars: 192HaskellPrototype
- nomeata/loogleStars: 160LeanPrototype
- nomeata/ghc-proofsStars: 145HaskellPrototype
- nomeata/udp-broadcast-relayStars: 133CPrototype
- nomeata/ghc-justdoitStars: 125HaskellPrototype
Nearby in Haskell
All Haskell repos- bitemyapp/esqueletoStars: 400HaskellAlpha
- nix-community/nix-vscode-extensionsStars: 399HaskellAlpha
- haskell-numerics/hmatrixStars: 398HaskellAlpha
- ehatti/peridotStars: 393HaskellAlpha
- ekmett/adStars: 390HaskellAlpha
- well-typed/opticsStars: 389HaskellAlpha