jeanqasaur / learn-programming-languagesLinks
Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
☆334Updated 4 years ago
Alternatives and similar repositories for learn-programming-languages
Users that are interested in learn-programming-languages are comparing it to the libraries listed below
Sorting:
- Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur☆218Updated 2 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆215Updated 6 years ago
- Resources for type theory, functional programming, etc.☆320Updated 4 years ago
- My slides and compilation of resources.☆153Updated 9 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆299Updated last year
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆133Updated 2 years ago
- ☆233Updated 10 months ago
- Spartan type theory☆266Updated last year
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas☆325Updated last month
- Tools for a compilers course☆125Updated 2 months ago
- List of resources about foundational knowledge for programmers (supposed to last a few decades)☆171Updated 4 years ago
- My personal repository of formally verified mathematics.☆299Updated 2 months ago
- A List of Foundational Haskell Papers☆870Updated 6 months ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago
- Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial☆486Updated 4 years ago
- In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distingu…☆471Updated last year
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆157Updated last year
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆598Updated last week
- A curated set of links to formal methods involving provable code.☆206Updated 3 years ago
- Tutorial on Multicore OCaml parallel programming with domainslib☆288Updated last year
- Mirror of Software Foundations in PDF☆301Updated 4 years ago
- Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.☆188Updated 6 years ago
- Functional teaching language for use in a discrete mathematics course☆169Updated last month
- Learn TLA+ for free! No prior experience necessary!☆212Updated 2 months ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆117Updated 4 years ago
- An introductory course to Homotopy Type Theory☆369Updated 4 years ago
- An interpreter for learning and exploring pure λ-calculus☆461Updated 4 years ago
- Haskell 101 and 102: slides and codelabs☆1,405Updated 2 years ago
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆352Updated 5 months ago
- The WIP book for CPSC 411☆64Updated 3 weeks ago