PrototypeCommon
nomeata/ghc-proofs
Let GHC prove program equations for you
- Owner
- nomeata (personal account)
- Stars
- Stars: 145
- Forks
- Forks: 6
- Language
- Haskell
- License
- MIT
- Created
- 2017
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by nomeata
All 8 repos by nomeata- nomeata/incredibleStars: 398HaskellAlpha
- nomeata/arbttStars: 365HaskellAlpha
- nomeata/inspection-testingStars: 192HaskellPrototype
- nomeata/loogleStars: 160LeanPrototype
- nomeata/udp-broadcast-relayStars: 133CPrototype
- nomeata/ghc-justdoitStars: 125HaskellPrototype
Nearby in Haskell
All Haskell repos- haskell-servant/example-servant-elmStars: 145HaskellPrototype
- tsoding/HyperNerdStars: 145HaskellPrototype
- marvinborner/bruijnStars: 145HaskellPrototype
- wavewave/fficxxStars: 145HaskellPrototype
- rnons/ted2srtStars: 145HaskellPrototype
- simhu/cubicalStars: 145HaskellPrototype