Linking pages
- GitHub - aalhour/awesome-compilers: Curated list of awesome resources on Compilers, Interpreters and Runtimes https://github.com/aalhour/awesome-compilers 62 comments
- GitHub - steshaw/plt: Programming Language Theory λΠ https://github.com/steshaw/plt 35 comments
- GitHub - jnv/lists: The definitive list of lists (of lists) curated on GitHub and elsewhere https://github.com/jnv/lists 28 comments
Linked pages
- GitHub - atom/atom: The hackable text editor https://github.com/atom/atom 1394 comments
- Learn You a Haskell for Great Good! http://learnyouahaskell.com/ 819 comments
- Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 comments
- The Scala Programming Language http://scala-lang.org/ 193 comments
- Functional Programming Principles in Scala | Coursera http://www.coursera.org/course/progfun 184 comments
- Software Foundations http://www.cis.upenn.edu/~bcpierce/sf/ 133 comments
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 125 comments
- Haskell Language http://haskell.org/ 120 comments
- Functional Programming in Scala | Coursera https://www.coursera.org/course/reactive 99 comments
- The HoTT Book | Homotopy Type Theory http://homotopytypetheory.org/book/ 74 comments
- Functional Programming in Scala https://www.manning.com/books/functional-programming-in-scala 72 comments
- Panopto http://scs.hosted.panopto.com/panopto/pages/sessions/list.aspx#folderid=%2207756bb0-b872-4a4a-95b1-b77ad206dab3%22 67 comments
- Lean http://leanprover.github.io 46 comments
- Homotopy Type Theory http://homotopytypetheory.org/ 38 comments
- 15-819 Homotopy Type Theory http://www.cs.cmu.edu/~rwh/courses/hott/ 33 comments
- http://www.math.jhu.edu/~eriehl/context.pdf 17 comments
- http://www.seas.upenn.edu/~cis500/current/index.html 15 comments
- Theorem Proving in Lean — Theorem Proving in Lean 3.23.0 documentation https://leanprover.github.io/theorem_proving_in_lean/#01_introduction.html 14 comments
- Amazon.com http://www.amazon.com/verified-functional-programming-aaron-stump/dp/1970001240 13 comments
- Programming Language Foundations in Agda – Table of Contents https://plfa.github.io/ 11 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - williamdemeo/TypeFunc: Resources for type theory, functional programming, etc.
See how to search.