Similar repositories to andreasabel/ipl:

• andreasabel/ipl github similar
• danistefanovic/build-your-own-x github similar
• DmxLarchey/ite-normalisation github similar
• L-TChen/ModalTypeTheory github similar
• gibiansky/IHaskell github similar
• umazalakain/fyp github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• jespercockx/popl19-tutorial github similar
• RobertHarper/hott-notes github similar
• michaelsproul/dblib-linear github similar
• jonsterling/lcf-sequent-calculus-example github similar
• L-TChen/MtacAR github similar
• lambdabetaeta/modal-logics github similar
• andreasabel/helf github similar
• gallais/agda-presburger github similar
• fsestini/nbe-weak-stlc github similar
• hazelgrove/agda-popl17 github similar
• jonsterling/sml-logical-framework github similar
• gallais/agdarky github similar
• bobatkey/system-f-parametricity-model github similar
• mr-ohman/logrel-mltt github similar
• larrytheliquid/mltt-lecture github similar
• jonsterling/lecture-notes github similar
• Eloston/ungoogled-chromium github similar
• tootsuite/mastodon github similar
• ayberkt/sequents github similar
• ak3n/abt-zoo github similar
• mietek/imla2017 github similar
• wenkokke/msla2014 github similar
• gmalecha/coq-interaction-trees github similar
• hablapps/LensAlgebra github similar
• jonsterling/coq-domains github similar
• ichistmeinname/free-proving github similar
• metaborg/linear.agda github similar
• ayberkt/Mini-TT github similar
• nachivpn/nbe-stlc github similar
• jonsterling/agda-effectful-forcing github similar
• gergoerdi/syntactic-stlc github similar
• dboulytchev/miniKanren-coq github similar
• ayberkt/simplc github similar