jhulick / bookstuffLinks
☆398Updated 15 years ago
Alternatives and similar repositories for bookstuff
Users that are interested in bookstuff are comparing it to the libraries listed below
Sorting:
- posts and code related to personal studies☆371Updated 11 months ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆494Updated 11 months ago
- Queueing theory: an introduction for software development☆2,171Updated 5 months ago
- Resources for the Neontribe employees code reading club☆83Updated 4 years ago
- Advent of Code 2021 using SQL (PostgreSQL-flavored)☆443Updated 3 years ago
- Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial☆487Updated 4 years ago
- Computer science and computer-adjacent papers (and sometimes books) that have influenced me deeply.☆310Updated 7 months ago
- Interactive Structure and Interpretation of Computer Programs☆1,157Updated 5 years ago
- I hold the opinion that state machines are underrated☆730Updated last year
- 🦑 Informal definitions of terms used in concurrency modeling☆332Updated 5 years ago
- A book about category theory☆438Updated this week
- SICP in Guile & Emacs Lisp☆703Updated 3 years ago
- Jari's collection of interesting papers.☆496Updated 2 months ago
- Awesome illustrated guides or children's books on technical topics.☆346Updated 3 years ago
- A curated list of legacy systems with publicly available source code☆229Updated 4 months ago
- I used to have PDFs for my books on my web site - I moved them to this public repo.☆312Updated 2 years ago
- A curated list of high-quality codebases to read and study. Read more code!☆381Updated 6 years ago
- Ideas for creating and sustaining high performance organizations☆1,258Updated 3 weeks ago
- A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.☆166Updated 8 months ago
- Systems and failure reading list☆200Updated 3 years ago
- An open source guide to mistake-resistant engineering(Work in progress)☆141Updated 2 years ago
- A static web application to explore and animate a TLA+ state graph.☆197Updated last year
- Prolog puzzles for fun and profit (mostly fun)☆80Updated 4 years ago
- Code and data used to create the examples in "Evidence-based Software Engineering based on the publicly available data"☆418Updated last month
- A list of all available kōans☆455Updated last year
- SICP Course☆231Updated 5 years ago
- My Blog: The Math-based Grand Unified Programming Theory: The Pure Function Pipeline Data Flow with principle-based Warehouse/Workshop M…☆447Updated last week
- ACT community resources☆468Updated 5 years ago
- List of future of programming projects☆368Updated last year
- A simple SQL database☆69Updated 11 months ago