awalterschulze / learning
A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.
☆163Updated last month
Alternatives and similar repositories for learning:
Users that are interested in learning are comparing it to the libraries listed below
- In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distingu…☆469Updated last year
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆333Updated 4 years ago
- List of resources about foundational knowledge for programmers (supposed to last a few decades)☆170Updated 4 years ago
- A Modern CompSci Curriculum☆301Updated 8 months ago
- Challenges from Category Theory for Programmers☆122Updated 4 months ago
- Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020☆70Updated 3 months ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆132Updated 2 years ago
- Not a description.☆126Updated 5 years ago
- 🦑 Informal definitions of terms used in concurrency modeling☆327Updated 4 years ago
- A collection of the papers, conference talks, articles, blog posts, interesting Twitter threads, HN/reddit comments on systems engineerin…☆568Updated 5 years ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆158Updated 9 months ago
- A curated list of awesome resources and learning materials in the field of X internals☆135Updated 7 months ago
- Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial☆488Updated 4 years ago
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆213Updated 3 years ago
- A curated list of TLA+ resources.☆137Updated 8 months ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆491Updated 4 months ago
- Collections of papers and books about Haskell, Type Theory and Category Theory☆166Updated 3 years ago
- Solutions, discussions, and approaches to the exercises☆144Updated 6 years ago
- Resources for learning Category Theory for an enthusiast☆618Updated last year
- ☆417Updated 3 years ago
- 🔍 A step-by-step guide to parsing using Haskell parser combinators.☆93Updated 5 years ago
- Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.☆188Updated 5 years ago
- SICP Course☆227Updated 4 years ago
- Examples and Exercises for the book "More OCaml"☆62Updated 2 years ago
- Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"☆72Updated 5 years ago
- Applied Functional Programming Course - Move from exercises to a working app!☆629Updated last year
- Distributed systems lecture notes☆61Updated 4 months ago
- A visualization of key structures in abstract algebra.☆155Updated 4 years ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆41Updated 4 years ago
- Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.☆135Updated 3 years ago