awalterschulze / learningLinks
A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.
☆167Updated 11 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.☆334Updated 5 years ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆165Updated last year
- In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distingu…☆480Updated 2 years ago
- A Modern CompSci Curriculum☆299Updated 5 months ago
- A curated list of TLA+ resources.☆163Updated last year
- 🦑 Informal definitions of terms used in concurrency modeling☆333Updated 5 years ago
- Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"☆74Updated 6 years ago
- Learn TLA+ for free! No prior experience necessary!☆235Updated last month
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆219Updated 3 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- Fork of the original Data61 course to be more Stack friendly☆450Updated 4 years ago
- Resources for learning Category Theory for an enthusiast☆660Updated 2 years ago
- A TLA+ guide☆278Updated 3 years ago
- Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020☆76Updated last month
- ☆167Updated 5 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆501Updated last year
- Not a description.☆126Updated 6 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆137Updated 3 years ago
- Applied Functional Programming Course - Move from exercises to a working app!☆630Updated 2 years ago
- Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.☆188Updated 6 years ago
- A Distributed Systems Reading List☆186Updated 5 years ago
- A book about category theory☆453Updated last week
- AppEngine hosted chat server. Example for the distributed systems class at www.distributedsystemscourse.com☆155Updated 5 years ago
- A visual catalogue + story of morphisms displayed across computational structures.☆129Updated 3 years ago
- Systems and failure reading list☆202Updated 4 years ago
- The Dao of Functional Programming☆499Updated 3 weeks ago
- A book about real world web development in beginner friendly Haskell☆77Updated 6 years ago
- ✨ A curated list of useful resources for computer language engineering and theory☆267Updated 7 years ago
- A curated list of amazingly awesome Haskell articles and talks for beginners.☆193Updated 3 years ago
- Pearls of Functional Algorithm Design by Richard Bird - Haskell Code☆190Updated 9 years ago