Similar repositories to mikeshulman/dirtt:

• mikeshulman/dirtt github similar
• gibiansky/IHaskell github similar
• pigworker/SmolCat github similar
• mikeshulman/ohtt github similar
• AndrasKovacs/preordertt github similar
• mikeshulman/cohesivett github similar
• Lapin0t/induction-recursion github similar
• nbenton/coqdomains github similar
• jonsterling/coq-sgdt github similar
• ralsei/six-eyes github similar
• tootsuite/mastodon github similar
• jmchapman/restriction-categories github similar
• jonsterling/lecture-notes github similar
• yforster/coq-synthetic-computability github similar
• jashug/ConstructingII github similar
• mortberg/TypeTheory github similar
• RobertHarper/hott-notes github similar
• m-yac/tt-in-cagda github similar
• maxsnew/grammars-and-semantic-actions github similar
• maxsnew/virtual-equipments github similar
• jonsterling/racket-grit github similar
• konn/vscode-redtt-diagnostics github similar
• anuyts/menkar github similar
• yannham/visual-goi github similar
• nachivpn/expelim github similar
• ericfinster/opetopes-in-agda github similar
• zaklogician/agda-ist-algebra github similar
• uelis/contextual github similar
• RobertHarper/pfpl-defns github similar
• jonsterling/agda-effectful-forcing github similar
• mikeshulman/hott-categories github similar
• mvcccccc/nominal-unification github similar
• xuanruiqi/commalg github similar
• elpinal/duploids github similar
• guillaumebrunerie/SmashProduct github similar
• jirkamarsik/lambda-mu github similar
• hablapps/LensAlgebra github similar
• jonsterling/coq-domains github similar
• Blaisorblade/Agda-playground github similar
• iblech/scheme-theory-in-agda github similar