Similar repositories to effectfully/Generic:

• effectfully/Generic github similar
• danistefanovic/build-your-own-x github similar
• flupe/generics github similar
• mr-ohman/logrel-mltt github similar
• laMudri/generic-lr github similar
• effectfully/OTT github similar
• hecrj/iced github similar
• gibiansky/IHaskell github similar
• thibautbenjamin/catt github similar
• effectfully/Cubes github similar
• Deducteam/Agda2Dedukti github similar
• L-TChen/MtacAR github similar
• viercc/golfing-haskell-exts-judge github similar
• AndrasKovacs/stlc-nbe github similar
• groupoid/anders github similar
• RobertHarper/hott-notes github similar
• guillaumebrunerie/initiality github similar
• sweirich/lennart-lambda github similar
• UlfNorell/agda-bench github similar
• sstucki/pts-agda github similar
• ashinkarov/agda-array github similar
• ekmett/make github similar
• tootsuite/mastodon github similar
• plt-hokusai/ahc github similar
• aquynh/capstone github similar
• meilisearch/MeiliSearch github similar
• Eloston/ungoogled-chromium github similar
• k6io/k6 github similar
• twanvl/ttie github similar
• yoricksijsling/ornaments-thesis github similar
• julianhyde/morel github similar
• andreasabel/universal-algebra github similar
• jmchapman/Relative-Monads github similar
• AndrasKovacs/implicit-fun-elaboration github similar
• jespercockx/ataca github similar
• shaunlebron/parinfer github similar
• effectfully/STLC github similar
• Trebor-Huang/Down-The-Path github similar
• Trebor-Huang/combinator-nbe github similar
• L-TChen/ModalTypeTheory github similar