BetaRare
granule-project/granule
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
- Owner
- granule-project (organization)
- Stars
- Stars: 743
- Forks
- Forks: 46
- Language
- Haskell
- License
- BSD-3-Clause
- Created
- 2017
- Tier
- Beta (700 to 1,999 ★) What this tier means
Nearby in Haskell
All Haskell repos- haskell-distributed/distributed-processStars: 755HaskellBeta
- elm-lang/elm-platformStars: 755HaskellBeta
- 2mol/pboyStars: 746HaskellBeta
- awgn/cgrepStars: 742HaskellBeta
- kowainik/reludeStars: 742HaskellBeta
- rgleichman/glanceStars: 736HaskellBeta