Alternatives and similar repositories for bookstuff:

Users that are interested in bookstuff are comparing it to the libraries listed below

• lorin / cognitive-systems-engineering
  ☆125Updated 3 weeks ago
• lemmy / BlockingQueue
  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
  ☆491Updated 5 months ago
• fogus / papers-i-love
  Computer science and computer-adjacent papers (and sometimes books) that have influenced me deeply.
  ☆302Updated last month
• ablwr / my-recurse-center-syllabus
  updated regularly while attending Recurse Center in Spring 2 '18
  ☆99Updated 10 months ago
• fogus / thunks
  posts and code related to personal studies
  ☆372Updated 5 months ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆210Updated last week
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆668Updated 3 weeks ago
• lethain / systems
  systems is a set of tools for describing, running and visualizing systems diagrams.
  ☆359Updated 2 years ago
• lorin / systems-reading
  Systems and failure reading list
  ☆198Updated 3 years ago
• cpressey / Facts-about-State-Machines
  I hold the opinion that state machines are underrated
  ☆730Updated last year
• prathyvsh / formal-systems-in-biology
  Application of formal systems to model biological systems
  ☆472Updated last year
• jarikoi / interesting-papers
  Jari's collection of interesting papers.
  ☆490Updated last month
• pel-daniel / mind-bicycles
  List of future of programming projects
  ☆358Updated 9 months ago
• amyjko / foundations-of-information
  A book to support the INFO 200 Intellectual Foundations of Information course.
  ☆138Updated last year
• raviksharma / bartosz-basics-of-haskell
  Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial
  ☆488Updated 4 years ago
• 18F / technology-budgeting
  See https://derisking-guide.18f.gov/
  ☆497Updated 5 years ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆198Updated last year
• jeanqasaur / dsl-syllabus-fall-2016
  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
  ☆214Updated 5 years ago
• slikts / concurrency-glossary
  🦑 Informal definitions of terms used in concurrency modeling
  ☆327Updated 4 years ago
• inkandswitch / farm
  🌱 Grow delightful software
  ☆256Updated 5 years ago
• lethain / staff-eng
  Collection of stories of how folks have reached Staff-plus roles in technology.
  ☆222Updated 8 months ago
• cloudycotton / awesome-illustrated-guides
  Awesome illustrated guides or children's books on technical topics.
  ☆345Updated 2 years ago
• palvaro / CMPS232-Fall16
  ☆101Updated 6 years ago
• jamii / dida
  Differential dataflow for mere mortals
  ☆520Updated 2 years ago
• abrantesasf / sicp-abrantes-study-guide
  My study guide for SICP
  ☆125Updated 4 years ago
• jamesstoneco / docsthursday
  Presentation materials for the Docs Thursday presentation at @futurice
  ☆35Updated 6 years ago
• hwayne / learntla
  A TLA+ guide
  ☆279Updated 2 years ago
• abuseofnotation / category-theory-illustrated
  A book about category theory
  ☆409Updated last month
• andrewharmellaw / wardley-maps-book
  You know Simon Wardley's medium posts on his Wardley Mapping technique? This is an AsciiDoc of them.
  ☆295Updated 4 years ago
• neontribe / code-reading-club
  Resources for the Neontribe employees code reading club
  ☆79Updated 4 years ago