Similar repositories to type-theory/type-theory-study-group:

• type-theory/type-theory-study-group github similar
• danistefanovic/build-your-own-x github similar
• type-theory/learn-tt github similar
• RobertHarper/hott-notes github similar
• gibiansky/IHaskell github similar
• ReactTraining/react-router github similar
• pixijs/pixi.js github similar
• tootsuite/mastodon github similar
• pigworker/MetaprogAgda github similar
• hecrj/iced github similar
• Eloston/ungoogled-chromium github similar
• chriskempson/base16 github similar
• jozefg/miniprl github similar
• tuvtran/project-based-learning github similar
• shaunlebron/parinfer github similar
• pigworker/CS410-14 github similar
• bobatkey/sott github similar
• jonsterling/JonPRL github similar
• SMLFamily/The-Mechanization-of-Standard-ML github similar
• ucsd-progsys/elsa github similar
• gallais/generic-syntax github similar
• RedPRL/sml-typed-abts github similar
• precog/quasar github similar
• mietek/total-fp github similar
• pigworker/CS410-17 github similar
• andreasabel/miniagda github similar
• dvanhorn/redex-aam-tutorial github similar
• williamdemeo/TypeFunc github similar
• RobertHarper/TILT-Compiler github similar
• mortberg/yacctt github similar
• UlfNorell/agda-summer-school github similar
• UniMath/TypeTheory github similar
• andreasabel/strong-normalization github similar
• gasche/icfp2017-papers github similar
• scmu/foundations-harper github similar
• TheoWinterhalter/formal-type-theory github similar
• aquynh/capstone github similar
• FranklinChen/clojure-transducers-in-haskell github similar
• sweirich/pi-forall github similar
• dlicata335/cart-cube github similar