PrototypeCommune
ranjitjhala/sprite-lang
An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
- Propriétaire
- ranjitjhala (compte personnel)
- Étoiles
- Étoiles : 156
- Forks
- Forks : 12
- Langage
- Haskell
- Licence
- BSD-3-Clause
- Création
- 2020
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Haskell
Tous les dépôts Haskell- GU-CLASP/TypedFlowÉtoiles : 156HaskellPrototype
- DataKinds/cherchordÉtoiles : 156HaskellPrototype
- cu1ch3n/type-inference-zooÉtoiles : 156HaskellPrototype
- simonmichael/shelltestrunnerÉtoiles : 156HaskellPrototype
- grpc/grpc-haskellÉtoiles : 156HaskellPrototype
- mstksg/hamiltonÉtoiles : 156HaskellPrototype