Alternatives and similar repositories for cognitive-systems-engineering

Users that are interested in cognitive-systems-engineering are comparing it to the libraries listed below

• danslimmon / qsim
  Queueing system simulator
  ☆52Updated 8 years ago
• lethain / systems
  systems is a set of tools for describing, running and visualizing systems diagrams.
  ☆383Updated 2 months ago
• lorin / awesome-limits
  Examples of OS / system limits
  ☆309Updated 4 years ago
• norajones / LFI-Slack
  Documents and resources for the "Learning from Incidents in Software" slack workspace.
  ☆40Updated 4 years ago
• joelparkerhenderson / causal-analysis-based-on-system-theory
  Causal Analysis based on System Theory (CAST)
  ☆66Updated 3 months ago
• oxidecomputer / oxide-and-friends
  Show notes from Oxide and Friends recordings
  ☆341Updated last week
• authzed / zanzibar-annotated
  Google's Zanzibar paper annotated for folks outside of Google
  ☆80Updated last week
• jhulick / bookstuff
  ☆392Updated 15 years ago
• mbrooker / simulator_example
  Small numerical simulator example
  ☆55Updated last year
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆215Updated 3 months ago
• lorin / systems-thinking
  Overview of different schools of systems thinking
  ☆36Updated last week
• jvns / twine-stories
  twine
  ☆137Updated 2 years ago
• Fault-lang / Fault
  a language for building system dynamic models
  ☆166Updated 2 months ago
• get-dx / dx-framework
  ☆48Updated 3 years ago
• ablwr / my-recurse-center-syllabus
  updated regularly while attending Recurse Center in Spring 2 '18
  ☆103Updated 2 months ago
• owulveryck / wardleyToGo
  Create your WardleyMaps as code/data and render it as SVG (onlinewardleymap and wtg language supported)
  ☆49Updated 2 years ago
• oxidecomputer / rfd-site
  Web frontend for browsing, searching, and reading RFDs
  ☆123Updated last month
• Linguistic-Antipatterns / linguistic-antipatterns.github.io
  Linguistic Antipatterns
  ☆30Updated 2 years ago
• swardley / WARDLEY-MAP-REPOSITORY
  Maps from the 2022 AND BEYOND research projects
  ☆207Updated 4 months ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆198Updated last year
• lemmy / BlockingQueue
  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
  ☆493Updated 8 months ago
• KasparEtter / ef1p
  Explained from First Principles is a technology, science, and philosophy blog for curious people who want to understand and change the wo…
  ☆121Updated last year
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated last year
• fogus / papers-i-love
  Computer science and computer-adjacent papers (and sometimes books) that have influenced me deeply.
  ☆308Updated 4 months ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆232Updated 2 weeks ago
• filibuster-testing / filibuster
  Prototype implementation of Service-Level Fault Injection Testing in Python.
  ☆70Updated 2 years ago
• neontribe / code-reading-club
  Resources for the Neontribe employees code reading club
  ☆82Updated 4 years ago
• dckc / awesome-ocap
  Awesome Object Capabilities and Capability Security
  ☆366Updated 2 months ago
• cdaniel / doctrine
  A very simple tool for visualising how competitive is the company in the light of Simon Wardley's Doctrine.
  ☆56Updated 5 months ago
• zmaril / bpfquery
  Zack's experimental tool for querying BPF with SQL.
  ☆39Updated 10 months ago