Similar repositories to zakocsis/asia:

• zakocsis/asia github similar
• mvcccccc/nominal-unification github similar
• jirkamarsik/lambda-mu github similar
• mr-ohman/intuitionistic-normalization github similar
• heades/cut-fill-agda github similar
• andrisaar/Type-Theory-Foundations github similar
• tonymorris/type-class github similar
• m-yac/tt-in-cagda github similar
• ericfinster/higher-alg github similar
• agda/agda-spec github similar
• pigworker/EGTBS github similar
• gallais/agda-presburger github similar
• pcapriotti/agda-base github similar
• mr-ohman/logrel-mltt github similar
• felixwellen/DCHoTT-Agda github similar
• Saizan/cubical-demo github similar
• yav/type-nat-solver github similar
• AndrasKovacs/system-f-omega github similar
• Gabriel439/Haskell-Errors-Library github similar
• byorgey/thesis github similar
• valis/hoq github similar
• ReactiveCocoa/ReactiveCocoaIO github similar
• abella-prover/abella github similar
• flypitch/flypitch github similar
• jspahrsummers/ObjectiveHaskell github similar
• UniMath/agda-unimath github similar
• ghcformacosx/ghc-dot-app github similar
• simhu/cubical github similar
• conal/lambda-ccc github similar
• UniMath/SymmetryBook github similar
• rossberg/1ml github similar
• VinylRecords/Vinyl github similar
• acowley/Frames github similar
• Andromedans/andromeda github similar
• agda/cubical github similar
• EgbertRijke/HoTT-Intro github similar
• ollef/Earley github similar
• HoTT/HoTT-Agda github similar
• mortberg/cubicaltt github similar
• pikelet-lang/pikelet github similar