PrototypeCommon
ranjitjhala/sprite-lang
An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
- Owner
- ranjitjhala (personal account)
- Stars
- Stars: 156
- Forks
- Forks: 12
- Language
- Haskell
- License
- BSD-3-Clause
- Created
- 2020
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Haskell
All Haskell repos- GU-CLASP/TypedFlowStars: 156HaskellPrototype
- DataKinds/cherchordStars: 156HaskellPrototype
- cu1ch3n/type-inference-zooStars: 156HaskellPrototype
- simonmichael/shelltestrunnerStars: 156HaskellPrototype
- grpc/grpc-haskellStars: 156HaskellPrototype
- mstksg/hamiltonStars: 156HaskellPrototype