Similar repositories to bitonic/tog:

• bitonic/tog github similar
• yannham/visual-goi github similar
• rowandavies/sml-cidre github similar
• jonsterling/coq-guarded-computational-type-theory github similar
• dorchard/effects-as-sessions github similar
• mr-ohman/logrel-mltt github similar
• agda/ooAgda github similar
• andreasabel/Sit github similar
• TOTBWF/agda-sgd github similar
• andrejbauer/miniLCF github similar
• jozefg/independence-of-the-continuum-hypothesis github similar
• AndrasKovacs/preordertt github similar
• RedPRL/kado github similar
• RobertHarper/hott-notes github similar
• groupoid/anders github similar
• pigworker/Totality github similar
• heades/cut-fill-agda github similar
• Lapin0t/induction-recursion github similar
• ollef/region github similar
• pigworker/Bi71 github similar
• Trebor-Huang/Down-The-Path github similar
• jcreedcmu/lambda-maps github similar
• AndrasKovacs/qiit-generalizations github similar
• RedPRL/sml-cats github similar
• michaelsproul/dblib-linear github similar
• m-yac/tt-in-cagda github similar
• jonsterling/coq-domains github similar
• jonsterling/tt github similar
• gibiansky/IHaskell github similar
• jonsterling/sml-pronominal-ml github similar
• domchristie/turndown github similar
• tootsuite/mastodon github similar
• hecrj/iced github similar
• ToTal/total github similar
• elpinal/focused-modules github similar
• danelahman/Directed-Containers github similar
• peterthiemann/definitional-session github similar
• pigworker/WhatRTypes4 github similar
• mb64/xtt github similar
• effectfully/Cubes github similar