Similar repositories to msp-strath/ZEUG:

• msp-strath/ZEUG github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• RobertHarper/hott-notes github similar
• tootsuite/mastodon github similar
• pixijs/pixi.js github similar
• bobatkey/system-f-parametricity-model github similar
• pigworker/Totality github similar
• andreasabel/helf github similar
• jozefg/miniprl github similar
• pigworker/Bi71 github similar
• hubris-lang/hubris github similar
• pigworker/SmolCat github similar
• oven-sh/bun github similar
• aquynh/capstone github similar
• Eugeny/terminus github similar
• tuvtran/project-based-learning github similar
• pigworker/SSGEP-DataData github similar
• jonsterling/agda-effectful-forcing github similar
• pigworker/Saturday github similar
• jagd/fakebold github similar
• IanOrton/cubical-topos-experiments github similar
• pigworker/Gigs-Summer-2018 github similar
• thsutton/cha github similar
• david-christiansen/epigram1 github similar
• michaelt/tagless github similar
• mikeshulman/dirtt github similar
• aa755/ROSCoq github similar
• mortberg/yacctt github similar
• ekmett/homotopy github similar
• nmvdw/Three-HITs github similar
• JasonGross/lob github similar
• jonsterling/hs-abt github similar
• jmchapman/TT-in-TT github similar
• pcapriotti/agda-base github similar
• peterlefanulumsdaine/higher-inductive-paper github similar
• IanOrton/decomposing-univalence github similar
• pigworker/EGTBS github similar
• pigworker/Vole github similar
• SMLFamily/The-Mechanization-of-Standard-ML github similar