BetaRare
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
- Owner
- ucsd-progsys (organization)
- Stars
- Stars: 1,338
- Forks
- Forks: 167
- Language
- Haskell
- License
- BSD-3-Clause
- Created
- 2012
- Topics
- haskellrefinement-typessmtverification
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by ucsd-progsys
All 3 repos by ucsd-progsys- ucsd-progsys/elsaStars: 194HaskellPrototype
- ucsd-progsys/liquid-fixpointStars: 167HaskellPrototype
Nearby in Haskell
All Haskell repos- HuwCampbell/grenadeStars: 1,449HaskellBeta
- google/haskell-trainingsStars: 1,408HaskellBeta
- input-output-hk/plutus-pioneer-programStars: 1,366HaskellBeta
- avh4/elm-formatStars: 1,334HaskellBeta
- haskell/aesonStars: 1,307HaskellBeta
- quchen/articlesStars: 1,307HaskellBeta