awalterschulze / learningLinks
A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.
☆166Updated 4 months ago
Alternatives and similar repositories for learning
Users that are interested in learning are comparing it to the libraries listed below
Sorting:
- 🦑 Informal definitions of terms used in concurrency modeling☆331Updated 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…☆471Updated last year
- List of resources about foundational knowledge for programmers (supposed to last a few decades)☆171Updated 4 years ago
- Tony Hoare's seminal 1978 paper "Communicating sequential processes" implemented in Go.☆187Updated 8 years ago
- SICP Course☆228Updated 4 years ago
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆334Updated 4 years ago
- Not a description.☆126Updated 5 years ago
- A Modern CompSci Curriculum☆301Updated 11 months ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆215Updated 6 years ago
- Source Code for 'Practical TLA+' by Hillel Wayne☆291Updated 3 years ago
- ☆166Updated 4 years ago
- Challenges from Category Theory for Programmers☆122Updated 8 months ago
- A complied list of resources from the baseds series☆169Updated 5 years ago
- CMSC 430 Design and Implementation of Programming Languages☆51Updated 6 months ago
- A curated list of TLA+ resources.☆146Updated last year
- A book about real world web development in beginner friendly Haskell☆77Updated 6 years ago
- A curated list of awesome engineering blogs.☆276Updated 2 months ago
- A curated list of awesome resources and learning materials in the field of X internals☆140Updated 10 months ago
- Programming Language Explorations☆94Updated this week
- course cs61a at berkeley, spring 2011☆170Updated 5 years ago
- Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.☆135Updated 4 years ago
- Applied Functional Programming Course - Move from exercises to a working app!☆633Updated last year
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆217Updated 3 years ago
- Pearls of Functional Algorithm Design by Richard Bird - Haskell Code☆188Updated 9 years ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Updated 2 years ago
- Learn TLA+ for free! No prior experience necessary!☆214Updated 3 months ago
- ☆42Updated 9 years ago
- Proposed documentation for alloytools.org☆70Updated 7 months ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆41Updated 4 years ago
- Useful things for Standard ML☆67Updated 8 months ago