Similar repositories to hazelgrove/hazelnut-dynamics-agda:

• hazelgrove/hazelnut-dynamics-agda github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• hecrj/iced github similar
• tuvtran/project-based-learning github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• ayberkt/simplc github similar
• laMudri/generic-lr github similar
• effectfully/proto-tt github similar
• effectfully/Cubes github similar
• blockstack/stacks github similar
• Eloston/ungoogled-chromium github similar
• LightAndLight/como github similar
• gallais/agdarky github similar
• bobatkey/system-f-parametricity-model github similar
• ziman/itt-idris github similar
• AndrasKovacs/preordertt github similar
• Event-Structures/event-struct github similar
• pigworker/potato github similar
• effectfully/Eff github similar
• lambdabetaeta/modal-logics github similar
• effectfully/Categories github similar
• effectfully/Ouroboros github similar
• jonsterling/agda-effectful-forcing github similar
• LightAndLight/idris-lambda-reflection github similar
• JasonGross/lob-paper github similar
• effectfully/ECC github similar
• hazelgrove/hazelnut-dynamics github similar
• metaborg/linear.agda github similar
• laMudri/quantitative github similar
• Saizan/parametric-demo github similar
• fsestini/tt-in-cubical github similar
• agda/ooAgda github similar
• fused-effects/fused-effects-readline github similar
• ysharoda/Deriving-Definitions github similar
• UlfNorell/effects github similar
• hazelgrove/agda-popl17 github similar
• ziman/idris-scheme github similar
• asajeffrey/finite-dtypes github similar