Similar repositories to pigworker/Syrup:

• pigworker/Syrup github similar
• danistefanovic/build-your-own-x github similar
• conal/calculating-compilers-agda github similar
• tootsuite/mastodon github similar
• jonsterling/lecture-notes github similar
• Lysxia/coq-recursion-schemes github similar
• gibiansky/IHaskell github similar
• ronami/HypeScript github similar
• yallop/fomega github similar
• Gabriel439/graph github similar
• gallais/agdarky github similar
• roglo/coq_real github similar
• nachivpn/expelim github similar
• hablapps/LensAlgebra github similar
• conal/convolution-paper github similar
• jonsterling/coq-domains github similar
• jmchapman/restriction-categories github similar
• zaklogician/agda-ist-algebra github similar
• TOTBWF/cubical-categories github similar
• umazalakain/fyp github similar
• HuStmpHrrr/agda-categories-1 github similar
• sarahzrf/coq-depleted github similar
• rljacobson/lifetimes github similar
• tuura/selective-theory-coq github similar
• mikeshulman/dirtt github similar
• MatthewDaggitt/agda-routing github similar
• jespercockx/tensors github similar
• pigworker/InteriorDesign github similar
• jashug/ConstructingII github similar
• nmvdw/HITs-Examples github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• Vierkantor/refinement-parsers github similar
• silvanshade/agda-nr-cats github similar
• uds-psl/churchs-thesis-coq github similar
• anuyts/menkar github similar
• wrengr/exact-combinatorics github similar
• zachsully/codata_examples github similar
• ollef/region github similar
• m-yac/tt-in-cagda github similar
• AndrasKovacs/preordertt github similar