Similar repositories to bobatkey/system-f-parametricity-model:

• bobatkey/system-f-parametricity-model github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• jonsterling/agda-effectful-forcing github similar
• ayberkt/simplc github similar
• sstucki/pts-agda github similar
• RobertHarper/hott-notes github similar
• JoeyEremondi/lambda-pi-constraint github similar
• metaborg/linear.agda github similar
• gibiansky/IHaskell github similar
• tuvtran/project-based-learning github similar
• NetchX/Netch github similar
• lukaszcz/infinitary-confluence github similar
• arthuraa/extructures github similar
• gallais/agdarky github similar
• nachivpn/k github similar
• andreasabel/strong-normalization github similar
• AndrasKovacs/preordertt github similar
• jonsterling/lean4-sgdt github similar
• gallais/pearl-binary-search github similar
• gallais/thesis github similar
• UlfNorell/quasi-quote github similar
• peterthiemann/definitional-session github similar
• jonsterling/agda-stc github similar
• pigworker/potato github similar
• ayberkt/sequents github similar
• JasonGross/lob-paper github similar
• lambdabetaeta/modal-logics github similar
• gallais/typing-with-leftovers github similar
• laMudri/generic-lr github similar
• jonsterling/coq-domains github similar
• effectfully/STLC github similar
• Trebor-Huang/Down-The-Path github similar
• ysharoda/Deriving-Definitions github similar
• Saizan/parametric-demo github similar
• laMudri/quantitative github similar
• tsung-ju/SystemF github similar
• effectfully/Cubes github similar
• L-TChen/ModalTypeTheory github similar
• palmskog/coq-program-verification-template github similar