jhulick / bookstuffLinks
☆400Updated 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☆370Updated last year
- Computer science and computer-adjacent papers (and sometimes books) that have influenced me deeply.☆312Updated 9 months ago
- Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial☆487Updated 4 years ago
- Resources for the Neontribe employees code reading club☆84Updated 5 years ago
- updated regularly while attending Recurse Center in Spring 2 '18☆103Updated 7 months ago
- Advent of Code 2021 using SQL (PostgreSQL-flavored)☆443Updated 4 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆497Updated last year
- ☆138Updated 6 months ago
- systems is a set of tools for describing, running and visualizing systems diagrams.☆396Updated 7 months ago
- A simple SQL database☆69Updated last year
- I hold the opinion that state machines are underrated☆731Updated last year
- A static web application to explore and animate a TLA+ state graph.☆198Updated 2 years ago
- Code and data used to create the examples in "Evidence-based Software Engineering based on the publicly available data"☆419Updated 3 months ago
- Learn TLA+ for free! No prior experience necessary!☆231Updated this week
- List of future of programming projects☆371Updated last year
- Awesome illustrated guides or children's books on technical topics.☆348Updated 3 years ago
- 🦑 Informal definitions of terms used in concurrency modeling☆333Updated 5 years ago
- A book about category theory☆447Updated last week
- Queueing theory: an introduction for software development☆2,181Updated 8 months ago
- Issue handling for Evidence-based Software Engineering: based on the publicly available data☆282Updated 8 months ago
- My Blog: The Math-based Grand Unified Programming Theory: The Pure Function Pipeline Data Flow with principle-based Warehouse/Workshop M…☆450Updated this week
- A curated list of legacy systems with publicly available source code☆234Updated 6 months ago
- Ideas for creating and sustaining high performance organizations☆1,259Updated 2 months ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- ☆431Updated 4 years ago
- Application of formal systems to model biological systems☆488Updated 2 years ago
- Jari's collection of interesting papers.☆496Updated last month
- A book to support the INFO 200 Intellectual Foundations of Information course.☆141Updated last year
- An open source guide to mistake-resistant engineering(Work in progress)☆141Updated 2 years ago
- Crucial conversations: lessons from the worldwide bestseller book☆102Updated 8 months ago