steshaw / pltLinks
Programming Language Theory λΠ
☆5,319Updated 10 months ago
Alternatives and similar repositories for plt
Users that are interested in plt are comparing it to the libraries listed below
Sorting:
- Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)☆3,410Updated 4 years ago
- A collection of resources for learning type theory and type theory adjacent fields.☆2,363Updated 5 months ago
- Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python☆2,697Updated 6 years ago
- Blog post previews in need of peer review☆2,204Updated 2 years ago
- Functional Programming Course☆4,211Updated 3 weeks ago
- 10 papers that all PhD students in programming languages ought to know, for some value of 10☆908Updated 5 years ago
- What I Wish I Knew When Learning Haskell☆2,634Updated 3 weeks ago
- HTML5/EPUB3 version of SICP☆4,459Updated 2 years ago
- Learn Haskell☆8,007Updated 2 years ago
- Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source☆11,358Updated last week
- mal - Make a Lisp☆10,478Updated this week
- ☆3,429Updated 4 years ago
- A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.☆3,180Updated 2 years ago
- Curated list of awesome resources on Compilers, Interpreters and Runtimes☆9,458Updated last year
- Programming Languages Zoo☆1,521Updated last year
- SICP PDF with Texinfo and LaTeX source☆4,349Updated last year
- Implementations of various type systems in OCaml.☆1,589Updated 10 years ago
- lamdu - towards the next generation IDE☆1,874Updated last week
- Huge list of videos, talks, courses for Haskell programming language.☆1,141Updated 7 years ago
- A friendly programming language from the future☆6,212Updated this week
- an incremental approach to compiler construction☆944Updated 5 years ago
- A Dependently Typed Functional Programming Language☆3,468Updated 7 months ago
- Resources for learning and using recursion schemes.☆1,268Updated last year
- A curated collection of awesome OCaml tools, frameworks, libraries and articles.☆2,992Updated last month
- The P programming language.☆3,435Updated 2 weeks ago
- Common Lisp Koans is a language learning exercise in the same vein as the ruby koans, python koans and others. It is a port of the prio…☆3,171Updated 2 years ago
- The Eta Programming Language, a dialect of Haskell on the JVM☆2,633Updated 3 years ago
- A library and language for building parsers, interpreters, compilers, etc.☆5,371Updated last week
- Learn C and build your own programming language in under 1000 lines of code!☆3,137Updated 2 months ago
- Haskell LLVM JIT Compiler Tutorial☆1,044Updated 5 years ago