lorin / cognitive-systems-engineeringLinks
☆138Updated 5 months ago
Alternatives and similar repositories for cognitive-systems-engineering
Users that are interested in cognitive-systems-engineering are comparing it to the libraries listed below
Sorting:
- Messiness reading list☆57Updated 3 years ago
- Systems and failure reading list☆200Updated 3 years ago
- Causal Analysis based on System Theory (CAST)☆72Updated 7 months ago
- systems is a set of tools for describing, running and visualizing systems diagrams.☆396Updated 6 months ago
- Google's Zanzibar paper annotated for folks outside of Google☆83Updated this week
- Documents and resources for the "Learning from Incidents in Software" slack workspace.☆40Updated 5 years ago
- Examples of OS / system limits☆308Updated 4 years ago
- Queueing system simulator☆52Updated 9 years ago
- ☆400Updated 15 years ago
- Web frontend for browsing, searching, and reading RFDs☆143Updated last month
- twine☆137Updated 2 years ago
- OODA loop: notes on John Boyd, strategy, tactics, planning, and paradigms☆50Updated 3 months ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆263Updated this week
- Linguistic Antipatterns☆30Updated 3 years ago
- Holocron is an object storage based leader election library.☆129Updated last year
- updated regularly while attending Recurse Center in Spring 2 '18☆103Updated 6 months ago
- Safety philosopy: example principles for an organization and management☆13Updated 7 months ago
- Prototype implementation of Service-Level Fault Injection Testing in Python.☆72Updated 3 years ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆106Updated last year
- Code for Implement DNS in a Weekend☆214Updated 2 years ago
- Maps from the 2022 AND BEYOND research projects☆210Updated 8 months ago
- A repo of links to articles, papers, conference talks, and tooling related to load management in software services.☆194Updated 2 years ago
- 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
- A Wardley Maps for Visual Studio Code extension supporting rendering and editing maps-as-code.☆76Updated 3 weeks ago
- Zack's experimental tool for querying BPF with SQL.☆40Updated last year
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆495Updated last year
- Introduction to resilience engineering concepts for software engineers☆68Updated 6 years ago
- My talk from Strange Loop 2023☆19Updated last year
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- Command-Line Object Notation: Ergonomic JSON-compatible input syntax for CLI tools.☆22Updated 3 years ago