awalterschulze / learningLinks
A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.
☆166Updated 8 months ago
Alternatives and similar repositories for learning
Users that are interested in learning are comparing it to the libraries listed below
Sorting:
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆336Updated 5 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…☆476Updated last year
- Learn TLA+ for free! No prior experience necessary!☆227Updated 7 months ago
- Source Code for 'Practical TLA+' by Hillel Wayne☆292Updated 3 years ago
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆219Updated 3 years ago
- A TLA+ guide☆278Updated 3 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆136Updated 3 years ago
- Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.☆188Updated 6 years ago
- Resources for learning Category Theory for an enthusiast☆643Updated 2 years ago
- Haskell 101 and 102: slides and codelabs☆1,405Updated 2 years ago
- A curated list of TLA+ resources.☆160Updated last year
- Fork of the original Data61 course to be more Stack friendly☆451Updated 4 years ago
- Tony Hoare's seminal 1978 paper "Communicating sequential processes" implemented in Go.☆189Updated 9 years ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆162Updated last year
- Challenges from Category Theory for Programmers☆127Updated last year
- Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.☆137Updated 4 years ago
- Exploring some worst-case latencies in GCs, inspired by a post on GHC's runtime pause times: https://making.pusher.com/latency-working-se…☆54Updated last year
- Applied Functional Programming Course - Move from exercises to a working app!☆630Updated last year
- Not a description.☆126Updated 6 years ago
- The Dao of Functional Programming☆489Updated 2 weeks ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆494Updated last year
- The website of the London Computation Club☆74Updated 2 years ago
- "Introduction to Functional Programming in Haskell", a Glasgow University Computing Science MOOC to be hosted on FutureLearn in October …☆190Updated 8 years ago
- A book about category theory☆440Updated 2 weeks ago
- ☆167Updated 4 years ago
- Collections of papers and books about Haskell, Type Theory and Category Theory☆166Updated 4 years ago
- An opinionated list of resources for learning Haskell☆926Updated 3 years ago
- Let's Build a Compiler (in Haskell)☆170Updated 5 years ago
- Domain-Specific Languages of Mathematics☆444Updated 2 months ago