Similar repositories to markokoleznik/agda-writer:

• markokoleznik/agda-writer github similar
• gibiansky/IHaskell github similar
• RobertHarper/hott-notes github similar
• danistefanovic/build-your-own-x github similar
• L-TChen/MtacAR github similar
• gallais/agda-sizedIO github similar
• maxsnew/grammars-and-semantic-actions github similar
• agda/ooAgda github similar
• scmu/foundations-harper github similar
• jonsterling/agda-effectful-forcing github similar
• pigworker/Totality github similar
• gallais/agdarky github similar
• pigworker/Ming github similar
• omega12345/RefactorAgda github similar
• pigworker/EGTBS github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• kcsmnt0/proof-trees github similar
• mr-ohman/logrel-mltt github similar
• takanuva/coc github similar
• hablapps/LensAlgebra github similar
• pigworker/Samizdat github similar
• jonsterling/coq-guarded-computational-type-theory github similar
• jcreedcmu/lambda-maps github similar
• andreasabel/ipl github similar
• TOTBWF/agda-sgd github similar
• FranckS/RingIdris github similar
• pigworker/Pivotal github similar
• jmchapman/restriction-categories github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• ezyang/lr-agda github similar
• rodrigogribeiro/agda-software-foundations github similar
• jonsterling/lecture-notes github similar
• pixijs/pixi.js github similar
• ralsei/six-eyes github similar
• tootsuite/mastodon github similar
• hecrj/iced github similar
• Eloston/ungoogled-chromium github similar
• iblech/scheme-theory-in-agda github similar
• pigworker/potato github similar
• sstucki/pts-agda github similar