lorin / cognitive-systems-engineeringLinks
☆140Updated 8 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☆56Updated 4 years ago
- Systems and failure reading list☆202Updated 4 years ago
- systems is a set of tools for describing, running and visualizing systems diagrams.☆400Updated 9 months ago
- Queueing system simulator☆52Updated 9 years ago
- a language for building system dynamic models☆169Updated this week
- Examples of OS / system limits☆312Updated 4 years ago
- Causal Analysis based on System Theory (CAST)☆74Updated 9 months ago
- Show notes from Oxide and Friends recordings☆367Updated 3 weeks ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆277Updated this week
- Introduction to resilience engineering concepts for software engineers☆68Updated 6 years ago
- updated regularly while attending Recurse Center in Spring 2 '18☆103Updated 8 months ago
- Holocron is an object storage based leader election library.☆128Updated last year
- twine☆137Updated 2 years ago
- A collection of resources and links relating to sociotechnical architecture for software systems.☆187Updated 2 years ago
- ☆400Updated 15 years ago
- Prototype implementation of Service-Level Fault Injection Testing in Python.☆72Updated 3 years ago
- A collection of the papers, conference talks, articles, blog posts, interesting Twitter threads, HN/reddit comments on systems engineerin…☆566Updated 6 years ago
- Web frontend for browsing, searching, and reading RFDs☆153Updated last week
- ☆47Updated 6 years ago
- Resources for the Neontribe employees code reading club☆84Updated 5 years ago
- Google's Zanzibar paper annotated for folks outside of Google☆85Updated this week
- A book to support the INFO 200 Intellectual Foundations of Information course.☆140Updated 2 years ago
- OODA loop: notes on John Boyd, strategy, tactics, planning, and paradigms☆52Updated 6 months ago
- Durable Promise Specification☆92Updated 10 months ago
- Rust libraries for APIs needed by our automated CIO.☆264Updated last year
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆500Updated last year
- About the book "Writing for Developers: Blogs That Get Read," which is all about writing more compelling engineering blog posts. By Piotr…☆299Updated 2 weeks ago
- My talk from Strange Loop 2023☆19Updated 2 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 3 years ago
- Code for Implement DNS in a Weekend☆213Updated 2 years ago