granule-project/gerty
A small implementation of graded modal dependent type theory. A younger cousin to Granule.
HaskellNOASSERTION
Stargazers
- accelware
- amirDublin, Ireland
- andrey013
- anqurvanillapy@Shopee
- astrolemonade
- atennapelNetherlands
- beike-zh
- berewt@input-output-hk
- bond15Two Six Labs
- brendanzab@yeslogic
- brightly-saltyUnited States
- dannypsnl@second-state
- dorchardCanterbury, UK
- DreianUniversity of Cambridge
- eashanhatti
- garyzhubcUniversity of British Columbia
- Invisible-Rabbit-Hunter
- jryansLondon, UK
- justinfargnoliNVIDIA
- mhlr
- msingleInteSource Partners
- ncihnegn
- nothingnessesGMT+0
- omelkonianUniversity of Edinburgh
- pedrotstType Theory Forall
- phase@Moonsworth @LunarClient
- RobbieMcKinstry@wack
- rokoptPortland, OR, USA
- Rosuavio@obsidiansystems
- seaerchin
- sguzmanBakersfield, CA
- sirinathSakrio!
- sofia-snowIndependent contractor
- solsonCanada/Ireland
- tomhoule@grafbase
- ur5usUnfolding Web