AlphaUncommon
ehatti/peridot
A fast functional language based on two level type theory
Archived: this repository is read-only
- Owner
- ehatti (personal account)
- Stars
- Stars: 393
- Forks
- Forks: 6
- Language
- Haskell
- License
- MPL-2.0
- Created
- 2020
- Topics
- dependent-typessystems-languageprogramming-languagetype-theoryhaskellproglangs-discord
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Haskell
All Haskell repos- nix-community/nix-vscode-extensionsStars: 399HaskellAlpha
- haskell-numerics/hmatrixStars: 398HaskellAlpha
- nomeata/incredibleStars: 398HaskellAlpha
- ekmett/adStars: 390HaskellAlpha
- well-typed/opticsStars: 389HaskellAlpha
- knupfer/haskell-emacsStars: 387HaskellAlpha