Alternatives and similar repositories for cognitive-systems-engineering

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

• lorin / systems-reading
  Systems and failure reading list
  ☆200Updated 3 years ago
• lethain / systems
  systems is a set of tools for describing, running and visualizing systems diagrams.
  ☆396Updated 7 months ago
• danslimmon / qsim
  Queueing system simulator
  ☆52Updated 9 years ago
• lorin / awesome-limits
  Examples of OS / system limits
  ☆311Updated 4 years ago
• oxidecomputer / rfd-site
  Web frontend for browsing, searching, and reading RFDs
  ☆144Updated last week
• oxidecomputer / oxide-and-friends
  Show notes from Oxide and Friends recordings
  ☆353Updated 2 weeks ago
• joelparkerhenderson / causal-analysis-based-on-system-theory
  Causal Analysis based on System Theory (CAST)
  ☆73Updated 7 months ago
• res-eng / resilience-for-software
  Introduction to resilience engineering concepts for software engineers
  ☆68Updated 6 years ago
• Fault-lang / Fault
  a language for building system dynamic models
  ☆168Updated last month
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆264Updated 3 weeks ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆231Updated 8 months ago
• jvns / dns-weekend
  Code for Implement DNS in a Weekend
  ☆214Updated 2 years ago
• authzed / zanzibar-annotated
  Google's Zanzibar paper annotated for folks outside of Google
  ☆84Updated last week
• jhulick / bookstuff
  ☆400Updated 15 years ago
• kellabyte / holocron
  Holocron is an object storage based leader election library.
  ☆129Updated last year
• snakescott / awesome-tech-postmortems
  ☆47Updated 5 years ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆198Updated 2 years ago
• dckc / awesome-ocap
  Awesome Object Capabilities and Capability Security
  ☆379Updated last week
• zmaril / bpfquery
  Zack's experimental tool for querying BPF with SQL.
  ☆40Updated last year
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆106Updated last year
• ablwr / my-recurse-center-syllabus
  updated regularly while attending Recurse Center in Spring 2 '18
  ☆103Updated 6 months ago
• copyconstruct / library
  A collection of the papers, conference talks, articles, blog posts, interesting Twitter threads, HN/reddit comments on systems engineerin…
  ☆565Updated 6 years ago
• resonatehq / durable-promise-specification
  Durable Promise Specification
  ☆92Updated 8 months ago
• antithesishq / glitch-grid
  Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.
  ☆38Updated last week
• Linguistic-Antipatterns / linguistic-antipatterns.github.io
  Linguistic Antipatterns
  ☆30Updated 3 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• filibuster-testing / filibuster
  Prototype implementation of Service-Level Fault Injection Testing in Python.
  ☆72Updated 3 years ago
• fly-hiring / platform-challenge
  Platform Engineer Hiring Project
  ☆36Updated 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
• capjamesg / knowledge-graph-language
  A query language for exploring knowledge graphs.
  ☆145Updated 6 months ago