Similar repositories to bellissimogiorno/nominal:

• bellissimogiorno/nominal github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• RobertHarper/hott-notes github similar
• hecrj/iced github similar
• meilisearch/MeiliSearch github similar
• metaborg/linear.agda github similar
• conal/agda-cat-linear github similar
• L-TChen/MtacAR github similar
• sstucki/pts-agda github similar
• UlfNorell/quasi-quote github similar
• plt-hokusai/ahc github similar
• heliaxdev/witch github similar
• inanna-malick/hgit github similar
• mr-ohman/logrel-mltt github similar
• RyanGlScott/eliminators github similar
• identicalsnowflake/cantor-pairing github similar
• tomdjong/domain-theory-in-uf github similar
• AndrasKovacs/polynomial-model github similar
• msp-strath/TypOS github similar
• AndrasKovacs/normalization-bench github similar
• LightAndLight/parametricity-proofs github similar
• TOTBWF/muprl github similar
• jonsterling/effectful-typesetting github similar
• kthielen/stlcc github similar
• peterlefanulumsdaine/general-type-theories github similar
• michaelpj/abstract-machine-debuggers github similar
• jonsterling/agda-calf github similar
• gallais/thesis github similar
• mpickering/hashtag-coerce github similar
• lambdabetaeta/modal-logics github similar
• wilbowma/multi-lang-comp github similar
• sweirich/lennart-lambda github similar
• laMudri/generic-lr github similar
• jonsterling/coq-domains github similar
• eddywestbrook/predicate-monads github similar
• effectfully/Generic github similar
• jespercockx/ataca github similar
• joom/proof-tree-builder github similar
• L-TChen/ModalTypeTheory github similar