Similar repositories to joom/type.systems:

• joom/type.systems github similar
• danistefanovic/build-your-own-x github similar
• tootsuite/mastodon github similar
• hecrj/iced github similar
• tuvtran/project-based-learning github similar
• Eloston/ungoogled-chromium github similar
• RobertHarper/hott-notes github similar
• gibiansky/IHaskell github similar
• meilisearch/MeiliSearch github similar
• ziman/idris-scheme github similar
• andorp/IdrisExtSTGCodegen github similar
• jdevuyst/rekenaar github similar
• ziman/itt-idris github similar
• ayberkt/simplc github similar
• LightAndLight/parametricity-proofs github similar
• srdqty/talc-3.0 github similar
• LightAndLight/idris-but-its-c github similar
• Trebor-Huang/Down-The-Path github similar
• jdolson/univalence-from-scratch github similar
• AliasQli/tactics github similar
• RedPRL/kado github similar
• LightAndLight/idris-lambda-reflection github similar
• dorchard/effectful-explanations-talk github similar
• lambdabetaeta/modal-logics github similar
• boltlabs-inc/call-by github similar
• rbarreiro/ifui github similar
• hablapps/LensAlgebra github similar
• asajeffrey/finite-dtypes github similar
• karroffel/Idris2-Ocaml github similar
• mb64/xtt github similar
• pigworker/InteriorDesign github similar
• danelahman/POPL18 github similar
• CoqHott/coq-effects github similar
• ahmadsalim/davidlang github similar
• bobatkey/system-f-parametricity-model github similar
• kcsmnt0/numbers github similar
• ollef/region github similar
• thalerjonathan/gloss-idris github similar
• Russoul/Idris2-Effect github similar
• joom/edit-time-tactics github similar