Similar repositories to JasonGross/lob:

• JasonGross/lob github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• krassowski/jupyterlab-lsp github similar
• shaunlebron/parinfer github similar
• bansal-io/pattern.css github similar
• pixijs/pixi.js github similar
• tootsuite/mastodon github similar
• tuvtran/project-based-learning github similar
• JasonGross/lob-paper github similar
• JacquesCarette/pi-dual github similar
• ale0sx/brains github similar
• jespercockx/reflection-tutorial github similar
• nad/dependent-lenses github similar
• andrejbauer/dependent-type-theory-syntax github similar
• metaborg/linear.agda github similar
• jonsterling/hs-abt github similar
• JasonGross/coq-scripts github similar
• groupoid/anders github similar
• sweirich/lennart-lambda github similar
• CatTheoryByExample/book github similar
• nbenton/coqdomains github similar
• maxsnew/grammars-and-semantic-actions github similar
• jonsterling/coq-domains github similar
• L-TChen/ModalTypeTheory github similar
• ejgallego/coq-universe github similar
• agda/ooAgda github similar
• andreasabel/ipl github similar
• leanprover/tc github similar
• msp-strath/ZEUG github similar
• RobertHarper/hott-notes github similar
• JorisCeulemans/sikkel github similar
• pigworker/ProgrammerCommaCon github similar
• mikeshulman/catlog github similar
• jmchapman/restriction-categories github similar
• avsm/Ivor github similar
• larrytheliquid/generic-elim github similar
• bobatkey/system-f-parametricity-model github similar
• jonsterling/agda-effectful-forcing github similar
• ziman/itt-idris github similar