granule-project/granule
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
HaskellBSD-3-Clause
Stargazers
- abduld
- AilrunCompLogic @ McGill University
- alcidesLASIGE, University of Lisbon
- athanclarkAralia Software
- b-studiosUniversity of Tübingen
- buggymcbugfixUniversity of Kent
- clarkenciel@alltrails
- clayratIMDEA Software
- ddrone
- dorchardCanterbury, UK
- graymalkinCanterbury
- headesAugusta University
- hrb90Washington, DC
- jeremy-w@bignerdranch
- juanbono@lambdaclass
- khushmeeetSunnyvale, California
- konnJij, Inc. @Jij-inc
- LawrencePeng
- LleutchAntibes, France
- madnightBremen, Germany
- masaeeduMontreal, QC, Canada
- mietek
- missingfaktorLondon, United Kingdom
- nl253Vodafone
- panchoeliott
- pSub@red6 enterprise software
- romac@informalsystems
- scott-fleischman
- sh0heiTokyo, Japan
- suzumiyasmithUnited Kingdom
- tapeinosyne
- themattchan@awakesecurity
- tkersey@thisisartium
- vicSoftware Villain
- wenkokkeScotland
- Z-ShangMongoDB