AlphaUncommon
Gabriella439/Haskell-Morte-Library
A bare-bones calculus-of-constructions
- Owner
- Gabriella439 (personal account)
- Stars
- Stars: 385
- Forks
- Forks: 24
- Language
- Haskell
- License
- BSD-3-Clause
- Created
- 2014
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by Gabriella439
All 16 repos by Gabriella439- Gabriella439/post-rfcStars: 2,196RC
- Gabriella439/haskell-nixStars: 1,169NixBeta
- Gabriella439/turtleStars: 978HaskellBeta
- Gabriella439/benchStars: 911HaskellBeta
- Gabriella439/simple-twitterStars: 736NixBeta
- Gabriella439/nixos-in-productionStars: 662MarkdownAlpha
Nearby in Haskell
All Haskell repos- knupfer/haskell-emacsStars: 387HaskellAlpha
- silkapp/restStars: 386HaskellAlpha
- ozanvos/markup.rocksStars: 385HaskellAlpha
- dbousamra/hnesStars: 384HaskellAlpha
- haskell/wreqStars: 383HaskellAlpha
- jbarrow/LambdaNetStars: 383HaskellAlpha