granule-project/granule
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
HaskellBSD-3-Clause
Watchers
- andrey013
- atennapelNetherlands
- chenjianxinTaipei
- citrusmunchEarth
- clojj
- ComFreek@KWARC
- csgordonDrexel University
- decb
- denumerate
- dorchardCanterbury, UK
- edwardb96
- eldeshTokyo
- GuiltyDolphinDuckDuckGo
- guoshimin
- headesAugusta University
- intsucJapan
- Invisible-Rabbit-Hunter
- jackohughesBrighton, UK
- jhcloos
- kevinclancyCertiK
- lulucca12
- mehBerlin
- ollefAscenium
- quewean
- raehikcomputer
- SomeGuyNamedMayUS, New York
- starsandspirals@granule-project
- univalent-universe
- viking66Shujinko
- Zinfour