Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / eashanhatti / peridot
A fast functional language based on two level type theory
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/eashanhatti%2Fperidot
Stars: 389
Forks: 4
Open Issues: 0
License: mpl-2.0
Language: Haskell
Repo Size: 1.14 MB
Dependencies:
40
Created: almost 4 years ago
Updated: 4 months ago
Last pushed: over 1 year ago
Last synced: 30 days ago
Topics: dependent-types, haskell, proglangs-discord, programming-language, systems-language, type-theory
Files
Loading...
Readme
Loading...
Dependencies
peridot.cabal
hackage
- base >=4.0 && <5
- bytestring *
- containers *
- dependent-hashmap *
- dependent-sum *
- directory *
- extra *
- filepath *
- fused-effects *
- hashable *
- haskell-stack-trace-plugin *
- megaparsec *
- mtl *
- parser-combinators *
- peridot *
- shower *
- some *
- tasty *
- tasty-golden *
- text *
- base >=4.0 && <5 test
- bytestring * test
- containers * test
- dependent-hashmap * test
- dependent-sum * test
- directory * test
- extra * test
- filepath * test
- fused-effects * test
- hashable * test
- haskell-stack-trace-plugin * test
- megaparsec * test
- mtl * test
- parser-combinators * test
- peridot * test
- shower * test
- some * test
- tasty * test
- tasty-golden * test
- text * test