Similar repositories to pigworker/shonky:

• pigworker/shonky github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• pigworker/Frank github similar
• pixijs/pixi.js github similar
• RobertHarper/hott-notes github similar
• david-christiansen/epigram1 github similar
• ericfinster/opetopes-in-agda github similar
• precog/quasar github similar
• k6io/k6 github similar
• hecrj/iced github similar
• cmcl/frankjnr github similar
• pcapriotti/agda-base github similar
• bitonic/tog github similar
• mikeshulman/catlog github similar
• effectfully/OTT github similar
• andrisaar/Type-Theory-Foundations github similar
• mikeshulman/cohesivett github similar
• spire/spire github similar
• IanOrton/decomposing-univalence github similar
• bobatkey/sorting-types github similar
• pigworker/CS410-15 github similar
• mortberg/yacctt github similar
• quchen/amoeba github similar
• pigworker/Box github similar
• TOTBWF/cubical-categories github similar
• msp-strath/ZEUG github similar
• pigworker/LibAgda github similar
• agda/agda-assoc-free github similar
• lukemaurer/sequent-core github similar
• JacquesCarette/pi-dual github similar
• ericfinster/opetopic github similar
• slindley/dependent-haskell github similar
• thsutton/cha github similar
• jonsterling/agda-effectful-forcing github similar
• pigworker/Totality github similar
• gallais/typing-with-leftovers github similar
• jagd/fakebold github similar
• jozefg/miniprl github similar
• IanOrton/cubical-topos-experiments github similar