BêtaRare
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
- Propriétaire
- ucsd-progsys (organisation)
- Étoiles
- Étoiles : 1 338
- Forks
- Forks : 167
- Langage
- Haskell
- Licence
- BSD-3-Clause
- Création
- 2012
- Sujets
- haskellrefinement-typessmtverification
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
Autres dépôts de ucsd-progsys
Les 3 dépôts de ucsd-progsys- ucsd-progsys/elsaÉtoiles : 194HaskellPrototype
- ucsd-progsys/liquid-fixpointÉtoiles : 167HaskellPrototype
D’autres dépôts Haskell
Tous les dépôts Haskell- HuwCampbell/grenadeÉtoiles : 1 449HaskellBêta
- google/haskell-trainingsÉtoiles : 1 408HaskellBêta
- input-output-hk/plutus-pioneer-programÉtoiles : 1 366HaskellBêta
- avh4/elm-formatÉtoiles : 1 334HaskellBêta
- haskell/aesonÉtoiles : 1 307HaskellBêta
- quchen/articlesÉtoiles : 1 307HaskellBêta