awalterschulze / learning
A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.
☆163Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for learning
- List of resources about foundational knowledge for programmers (supposed to last a few decades)☆164Updated 3 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…☆467Updated 10 months ago
- 🦑 Informal definitions of terms used in concurrency modeling☆326Updated 4 years ago
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆331Updated 4 years ago
- Learn TLA+ for free! No prior experience necessary!☆198Updated 2 months ago
- A curated list of TLA+ resources.☆131Updated 4 months ago
- Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.☆136Updated 3 years ago
- A Modern CompSci Curriculum☆302Updated 4 months ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆214Updated 5 years ago
- Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial☆488Updated 3 years ago
- A book about category theory☆341Updated 2 weeks ago
- Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.☆187Updated 5 years ago
- Fork of the original Data61 course to be more Stack friendly☆439Updated 3 years ago
- Not a description.☆126Updated 5 years ago
- Tony Hoare's seminal 1978 paper "Communicating sequential processes" implemented in Go.☆185Updated 8 years ago
- ACT community resources☆465Updated 4 years ago
- Applied Functional Programming Course - Move from exercises to a working app!☆624Updated 11 months ago
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas☆294Updated last year
- A compiler for a lisp-like language targeting LLVM IR, x86 assembly☆129Updated 2 years ago
- A complied list of resources from the baseds series☆166Updated 4 years ago
- A curated list of awesome resources and learning materials in the field of X internals☆129Updated 3 months ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆157Updated 5 months ago
- Collections of papers and books about Haskell, Type Theory and Category Theory☆164Updated 3 years ago
- ☆41Updated 8 years ago
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆211Updated 2 years ago
- A List of Foundational Haskell Papers☆863Updated this week
- Systems and failure reading list☆195Updated 2 years ago
- My notes and solutions to exercises for the book "Haskell Programming from first principles".☆95Updated 3 years ago