Similar repositories to msp-strath/platypus:

• msp-strath/platypus github similar
• danistefanovic/build-your-own-x github similar
• RobertHarper/hott-notes github similar
• JLimperg/well-founded-corecursion github similar
• IanOrton/decomposing-univalence github similar
• gibiansky/IHaskell github similar
• haskoin/murmur3 github similar
• aloiscochard/machines-binary github similar
• ezyang/triemap github similar
• teh/gluon github similar
• clintonmead/indextype github similar
• parsonsmatt/packedbits github similar
• ocharles/ghc-nix github similar
• plt-hokusai/ahc github similar
• meilisearch/MeiliSearch github similar
• hecrj/iced github similar
• reactormonk/non-constant-memory github similar
• ivan-m/transmogrify github similar
• nmvdw/Three-HITs github similar
• ollef/region github similar
• twanvl/ttie github similar
• deech/fltkhs-fluid-demos github similar
• L-TChen/ModalTypeTheory github similar
• camfort/reprinter github similar
• effectfully/Cubes github similar
• joneshf/rollbar-hs github similar
• larrytheliquid/zero-cost-coercions github similar
• uelis/contextual github similar
• IanOrton/cubical-topos-experiments github similar
• pigworker/Gigs-Summer-2018 github similar
• groupoid/anders github similar
• JLimperg/msc-thesis-code github similar
• rudymatela/express github similar
• emarzion/Linear-Logic-Proof-Assistant github similar
• konn/ghc-typelits-symbols github similar
• guillaumebrunerie/JamesConstruction github similar
• cj-xu/OrdinalNotations github similar
• haskell-works/hw-xml github similar
• ericfinster/opetopes-in-agda github similar
• nachivpn/k github similar