lorin / cognitive-systems-engineering
☆129Updated 2 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☆198Updated 3 years ago
- updated regularly while attending Recurse Center in Spring 2 '18☆103Updated this week
- Queueing system simulator☆52Updated 8 years ago
- Introduction to resilience engineering concepts for software engineers☆69Updated 5 years ago
- Small numerical simulator example☆54Updated last year
- Holocron is an object storage based leader election library.☆129Updated 7 months ago
- Rust libraries for APIs needed by our automated CIO.☆265Updated 6 months ago
- A collection of resources and links relating to sociotechnical architecture for software systems.☆181Updated 2 years ago
- A static web application to explore and animate a TLA+ state graph.☆199Updated last year
- Google's Zanzibar paper annotated for folks outside of Google☆78Updated last week
- Learn TLA+ for free! No prior experience necessary!☆210Updated last month
- ☆48Updated 3 years ago
- Causal Analysis based on System Theory (CAST)☆65Updated last month
- A collection of videos to showcase the magic alchemy of computation.☆135Updated 8 months 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…☆78Updated 2 years ago
- A book to support the INFO 200 Intellectual Foundations of Information course.☆138Updated last year
- Catalogue of portals that maps out roadmap for self learners☆79Updated 2 years ago
- Cloudbite - Bite-sized cloud learning with spaced repetition☆117Updated 3 years ago
- Notes on David Woods's Resilience Engineering short course☆42Updated 4 years ago
- 🌱 Grow delightful software☆257Updated 6 years ago
- Random experiments, exploration, and learning☆83Updated last month
- Web frontend for browsing, searching, and reading RFDs☆118Updated last week
- a language for building system dynamic models☆165Updated 3 weeks ago
- See https://derisking-guide.18f.gov/☆496Updated 5 years ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆215Updated 6 years ago
- systems is a set of tools for describing, running and visualizing systems diagrams.☆369Updated this week
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Modeling DNS with Alloy☆37Updated 3 years ago