Similar repositories to w7cook/AoPL:

• w7cook/AoPL github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• shaunlebron/parinfer github similar
• pixijs/pixi.js github similar
• tuvtran/project-based-learning github similar
• Eloston/ungoogled-chromium github similar
• RobertHarper/hott-notes github similar
• hecrj/iced github similar
• liamoc/learn-you-an-agda github similar
• pigworker/MetaprogAgda github similar
• ReactTraining/react-router github similar
• chriskempson/base16 github similar
• edx/edx-platform github similar
• sweirich/tal github similar
• jstolarek/why-dependent-types-matter github similar
• ekmett/hask github similar
• Andromedans/andromeda github similar
• jonleivent/mindless-coding github similar
• jyp/nano-Agda github similar
• sweirich/pi-forall github similar
• Eugeny/terminus github similar
• ilya-klyuchnikov/ttlite github similar
• idris-hackers/idris-mode github similar
• ilya-klyuchnikov/lambdapi github similar
• jonsterling/JonPRL github similar
• seliopou/typo github similar
• gasche/icfp2013-papers github similar
• suhailshergill/extensible-effects github similar
• adamgundry/type-inference github similar
• standardml/twelf github similar
• snapframework/io-streams github similar
• justinethier/husk-scheme github similar
• aquynh/capstone github similar
• well-typed/generics-sop github similar
• chrisdone/lucid github similar
• gionkunz/chartist-js github similar
• simonmar/par-tutorial github similar
• GaloisInc/cereal github similar