BêtaRare
granule-project/granule
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
- Propriétaire
- granule-project (organisation)
- Étoiles
- Étoiles : 742
- Forks
- Forks : 46
- Langage
- Haskell
- Licence
- BSD-3-Clause
- Création
- 2017
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
D’autres dépôts Haskell
Tous les dépôts Haskell- 2mol/pboyÉtoiles : 746HaskellBêta
- awgn/cgrepÉtoiles : 742HaskellBêta
- kowainik/reludeÉtoiles : 742HaskellBêta
- rgleichman/glanceÉtoiles : 736HaskellBêta
- hstreamdb/hstreamÉtoiles : 723HaskellBêta