PrototypeCommon
jwiegley/coq-haskell
A library for formalizing Haskell types and functions in Coq
- Owner
- jwiegley (personal account)
- Stars
- Stars: 171
- Forks
- Forks: 13
- Language
- Coq
- License
- BSD-3-Clause
- Created
- 2014
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by jwiegley
All 11 repos by jwiegley- jwiegley/use-packageStars: 4,453Emacs LispRC
- jwiegley/git-scriptsStars: 1,370ShellBeta
- jwiegley/emacs-asyncStars: 914Emacs LispBeta
- jwiegley/git-from-the-bottom-upStars: 893SCSSBeta
- jwiegley/category-theoryStars: 819Rocq ProverBeta
- jwiegley/dot-emacsStars: 795Emacs LispBeta
Nearby in Coq
All Coq repos- clarus/coq-chick-blogStars: 181CoqPrototype
- ilyasergey/pnpStars: 178CoqPrototype
- accordproject/ergoStars: 171CoqPrototype
- discus-lang/ironStars: 145CoqPrototype
- Lysxia/advent-of-coq-2018Stars: 141CoqPrototype
- rocq-archive/coq-serapiStars: 136CoqPrototype