jhulick / bookstuff
☆379Updated 14 years ago
Alternatives and similar repositories for bookstuff:
Users that are interested in bookstuff are comparing it to the libraries listed below
- Systems and failure reading list☆197Updated 3 years ago
- List of future of programming projects☆356Updated 6 months ago
- ☆122Updated 3 weeks ago
- Course materials for Research Software Engineering course.☆45Updated 5 years ago
- Awesome illustrated guides or children's books on technical topics.☆343Updated 2 years ago
- Interactive Structure and Interpretation of Computer Programs☆1,160Updated 4 years ago
- Learn TLA+ for free! No prior experience necessary!☆204Updated 2 months ago
- SICP in Guile & Emacs Lisp☆688Updated 2 years ago
- Computer science and computer-adjacent papers (and sometimes books) that have influenced me deeply.☆301Updated 6 months ago
- 🦑 Informal definitions of terms used in concurrency modeling☆326Updated 4 years ago
- SICP Course☆226Updated 4 years ago
- An open source guide to mistake-resistant engineering(Work in progress)☆141Updated last year
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆491Updated 2 months ago
- I hold the opinion that state machines are underrated☆729Updated last year
- posts and code related to personal studies☆374Updated 3 months ago
- updated regularly while attending Recurse Center in Spring 2 '18☆98Updated 8 months ago
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆332Updated 4 years ago
- Differential dataflow for mere mortals☆517Updated 2 years ago
- systems is a set of tools for describing, running and visualizing systems diagrams.☆341Updated 2 years ago
- My study guide for SICP☆124Updated 4 years ago
- Transcripts of Clojure-related talks☆2,926Updated last year
- Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial☆488Updated 4 years ago
- Functional core imperative shell☆97Updated 2 years ago
- A curated list of high-quality codebases to read and study. Read more code!☆381Updated 6 years ago
- Proving leftpad correct two-dozen different ways☆659Updated last month
- A static web application to explore and animate a TLA+ state graph.☆197Updated last year
- website for CMU 17-313☆45Updated this week
- A TLA+ guide☆278Updated 2 years ago