lorin / cognitive-systems-engineeringLinks
☆129Updated this week
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:
- Systems and failure reading list☆197Updated 3 years ago
- systems is a set of tools for describing, running and visualizing systems diagrams.☆376Updated 3 weeks ago
- Learn TLA+ for free! No prior experience necessary!☆212Updated 2 months ago
- updated regularly while attending Recurse Center in Spring 2 '18☆103Updated 3 weeks ago
- Introduction to resilience engineering concepts for software engineers☆69Updated 5 years ago
- Google's Zanzibar paper annotated for folks outside of Google☆80Updated last week
- Holocron is an object storage based leader election library.☆129Updated 8 months ago
- Causal Analysis based on System Theory (CAST)☆66Updated last month
- a language for building system dynamic models☆165Updated last month
- A static web application to explore and animate a TLA+ state graph.☆197Updated last year
- Create your WardleyMaps as code/data and render it as SVG (onlinewardleymap and wtg language supported)☆48Updated last year
- ☆47Updated 5 years ago
- Maps from the 2022 AND BEYOND research projects☆205Updated 2 months ago
- 🌱 Grow delightful software☆257Updated 6 years ago
- Graph-based Declarative Configuration Language☆135Updated 4 years ago
- Queueing system simulator☆52Updated 8 years ago
- Meditation instructions from spiritual texts ripped out of the contexts of their spirituality and presented in the universal format of Gh…☆155Updated last year
- Catalogue of portals that maps out roadmap for self learners☆80Updated 2 years ago
- Durable Promise Specification☆94Updated 2 months ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆493Updated 7 months ago
- A book to support the INFO 200 Intellectual Foundations of Information course.☆139Updated last year
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- An experimental, tablet-based tool for developing your ideas☆186Updated 6 years ago
- Computer science and computer-adjacent papers (and sometimes books) that have influenced me deeply.☆308Updated 3 months ago
- A personal semantic search engine capable of surfacing relevant bookmarks, journal entries, notes, blogs, contacts, and more, built on an…☆292Updated last year
- Working area for Braid extensions to HTTP☆248Updated 6 months ago
- A very simple tool for visualising how competitive is the company in the light of Simon Wardley's Doctrine.☆56Updated 4 months ago
- Explained from First Principles is a technology, science, and philosophy blog for curious people who want to understand and change the wo…☆120Updated last year
- Resources for the Neontribe employees code reading club☆81Updated 4 years ago
- posts and code related to personal studies☆372Updated 7 months ago