Alternatives and similar repositories for cognitive-systems-engineering

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

• lethain / systems
  systems is a set of tools for describing, running and visualizing systems diagrams.
  ☆393Updated 4 months ago
• danslimmon / qsim
  Queueing system simulator
  ☆52Updated 9 years ago
• oxidecomputer / rfd-site
  Web frontend for browsing, searching, and reading RFDs
  ☆132Updated this week
• mbrooker / simulator_example
  Small numerical simulator example
  ☆55Updated last year
• lorin / awesome-limits
  Examples of OS / system limits
  ☆307Updated 4 years ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆251Updated last week
• joelparkerhenderson / causal-analysis-based-on-system-theory
  Causal Analysis based on System Theory (CAST)
  ☆66Updated 5 months ago
• authzed / zanzibar-annotated
  Google's Zanzibar paper annotated for folks outside of Google
  ☆82Updated last week
• jvns / twine-stories
  twine
  ☆136Updated 2 years ago
• snakescott / awesome-tech-postmortems
  ☆47Updated 5 years ago
• Fault-lang / Fault
  a language for building system dynamic models
  ☆167Updated 4 months ago
• res-eng / resilience-for-software
  Introduction to resilience engineering concepts for software engineers
  ☆68Updated 6 years ago
• ablwr / my-recurse-center-syllabus
  updated regularly while attending Recurse Center in Spring 2 '18
  ☆103Updated 4 months ago
• kellabyte / holocron
  Holocron is an object storage based leader election library.
  ☆129Updated 11 months ago
• jhulick / bookstuff
  ☆399Updated 15 years ago
• filibuster-testing / filibuster
  Prototype implementation of Service-Level Fault Injection Testing in Python.
  ☆72Updated 2 years ago
• oxidecomputer / cio
  Rust libraries for APIs needed by our automated CIO.
  ☆262Updated 10 months ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆198Updated last year
• jvns / dns-weekend
  Code for Implement DNS in a Weekend
  ☆209Updated 2 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• dyrector-io / awesome-infrastructure-questions
  A curated this list of briefing questions that need to be cleared to lay out a game plan to work on a client's infrastructure, migrate ap…
  ☆79Updated 2 years ago
• resonatehq / durable-promise-specification
  Durable Promise Specification
  ☆93Updated 5 months ago
• joenash / awesome-infinidash
  An awesome list for the awe-inspiring power of Infinidash, an imaginary product.
  ☆198Updated 4 years ago
• antithesishq / glitch-grid
  Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.
  ☆38Updated 3 weeks ago
• lorin / systems-thinking
  Overview of different schools of systems thinking
  ☆36Updated 2 months ago
• singlecla / singlecla
  fork-to-sign contributor licensing agreement for all pull-request-driven projects
  ☆35Updated 2 years ago
• danslimmon / donothing
  do-nothing scripting framework
  ☆94Updated 4 years ago
• fly-hiring / platform-challenge
  Platform Engineer Hiring Project
  ☆37Updated 2 years ago
• prathyvsh / knowledge-atlases
  Catalogue of portals that maps out roadmap for self learners
  ☆81Updated 2 years ago
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated last year