PrototypeCommon
nikita-volkov/refined
Refinement types with static checking
- Owner
- nikita-volkov (personal account)
- Stars
- Stars: 196
- Forks
- Forks: 32
- Language
- Haskell
- License
- MIT
- Created
- 2015
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by nikita-volkov
All 4 repos by nikita-volkov- nikita-volkov/hasqlStars: 553HaskellAlpha
- nikita-volkov/recordStars: 249HaskellPrototype
- nikita-volkov/hasql-thStars: 117HaskellPrototype
Nearby in Haskell
All Haskell repos- CIFASIS/QuickFuzzStars: 196HaskellPrototype
- jxv/dino-rushStars: 196HaskellPrototype
- CyberCat-Institute/open-game-engineStars: 196HaskellPrototype
- Peaker/git-mediateStars: 195HaskellPrototype