Similar repositories to np/guarded-recursion:

• np/guarded-recursion github similar
• cartazio/HetList github similar
• mietek/abel-chapman-extended github similar
• edwinb/ConcIO github similar
• niccoloveltri/final-pfin github similar
• david-christiansen/idris-utils github similar
• ericfinster/opetopes-in-agda github similar
• andrisaar/Type-Theory-Foundations github similar
• RobertHarper/hott-notes github similar
• twanvl/ttie github similar
• pigworker/Frank github similar
• jwiegley/simple-conduit github similar
• CategoricalData/opl github similar
• tathougies/generic-lens github similar
• dorchard/effects-as-sessions github similar
• pcapriotti/agda-categories github similar
• bobatkey/foveran github similar
• lukemaurer/sequent-core github similar
• slindley/dependent-haskell github similar
• ericfinster/opetopic github similar
• pcapriotti/agda-base github similar
• pigworker/shonky github similar
• agda/agda-frp-ltl github similar
• david-christiansen/pudding-old github similar
• aspiwack/peppermint-prover github similar
• sweirich/trellys github similar
• Saizan/cubical-demo github similar
• edwinb/SDL-idris github similar
• david-christiansen/epigram1 github similar
• crypto-agda/crypto-agda github similar
• yav/type-nat-solver github similar
• idris-lang/idris-emptycg github similar
• edwinb/Protocols github similar
• tomlokhorst/AwesomePrelude github similar
• moonmaster9000/bird github similar
• spire/spire github similar
• byorgey/thesis github similar
• mortberg/yacctt github similar
• dorchard/type-level-sets github similar
• ekmett/constraints github similar