PrototypeCommon
ucsd-progsys/liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
- Owner
- ucsd-progsys (organization)
- Stars
- Stars: 167
- Forks
- Forks: 72
- Language
- Haskell
- License
- BSD-3-Clause
- Created
- 2013
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by ucsd-progsys
All 3 repos by ucsd-progsys- ucsd-progsys/liquidhaskellStars: 1,338HaskellBeta
- ucsd-progsys/elsaStars: 194HaskellPrototype
Nearby in Haskell
All Haskell repos- nushio3/learn-haskellStars: 167HaskellPrototype
- github/deliStars: 167HaskellPrototype
- reflex-frp/reflex-vtyStars: 167HaskellPrototype