PrototypeCommune
nikita-volkov/refined
Refinement types with static checking
- Propriétaire
- nikita-volkov (compte personnel)
- Étoiles
- Étoiles : 196
- Forks
- Forks : 32
- Langage
- Haskell
- Licence
- MIT
- Création
- 2015
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de nikita-volkov
Les 4 dépôts de nikita-volkov- nikita-volkov/hasqlÉtoiles : 553HaskellAlpha
- nikita-volkov/recordÉtoiles : 249HaskellPrototype
- nikita-volkov/hasql-thÉtoiles : 117HaskellPrototype
D’autres dépôts Haskell
Tous les dépôts Haskell- CIFASIS/QuickFuzzÉtoiles : 196HaskellPrototype
- jxv/dino-rushÉtoiles : 196HaskellPrototype
- CyberCat-Institute/open-game-engineÉtoiles : 196HaskellPrototype
- Peaker/git-mediateÉtoiles : 195HaskellPrototype