awalterschulze / learningLinks
A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.
☆167Updated last year
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…☆166Updated last year
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- 🦑 Informal definitions of terms used in concurrency modeling☆333Updated 5 years ago
- A curated list of TLA+ resources.☆164Updated last week
- A Modern CompSci Curriculum☆299Updated 3 weeks ago
- ☆400Updated 15 years ago
- AppEngine hosted chat server. Example for the distributed systems class at www.distributedsystemscourse.com☆157Updated 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…☆480Updated 2 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆44Updated last year
- Source Code for 'Practical TLA+' by Hillel Wayne☆296Updated 3 years ago
- Collaboratived repository to put all computer science papers that we thing everyone must read.☆78Updated 5 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆137Updated 3 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆500Updated last year
- A collection of the papers, conference talks, articles, blog posts, interesting Twitter threads, HN/reddit comments on systems engineerin…☆566Updated 6 years ago
- SICP Course☆229Updated 5 years ago
- Not a description.☆126Updated 6 years ago
- The website of the London Computation Club☆74Updated 2 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
- Systems and failure reading list☆204Updated 4 years ago
- A TLA+ guide☆278Updated 3 years ago
- Examples and Exercises for the book "More OCaml"☆66Updated 3 years ago
- Tools for a compilers course☆128Updated 6 months ago
- Learn TLA+ for free! No prior experience necessary!☆237Updated 2 months ago
- Pearls of Functional Algorithm Design by Richard Bird - Haskell Code☆191Updated 9 years ago
- ☆167Updated 5 years ago
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆219Updated 3 years ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆75Updated 3 years ago
- Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"☆74Updated 6 years ago
- Challenges from Category Theory for Programmers☆127Updated last year