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 / messiness
  Messiness reading list
  ☆57Updated 3 years ago
• norajones / LFI-Slack
  Documents and resources for the "Learning from Incidents in Software" slack workspace.
  ☆39Updated 4 years ago
• ablwr / my-recurse-center-syllabus
  updated regularly while attending Recurse Center in Spring 2 '18
  ☆102Updated 11 months ago
• mbrooker / simulator_example
  Small numerical simulator example
  ☆54Updated last year
• Fault-lang / Fault
  a language for building system dynamic models
  ☆165Updated this week
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆199Updated last year
• amyjko / foundations-of-information
  A book to support the INFO 200 Intellectual Foundations of Information course.
  ☆138Updated last year
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆211Updated last month
• jhulick / bookstuff
  ☆385Updated 14 years ago
• joelparkerhenderson / causal-analysis-based-on-system-theory
  Causal Analysis based on System Theory (CAST)
  ☆64Updated last week
• lethain / systems
  systems is a set of tools for describing, running and visualizing systems diagrams.
  ☆360Updated 2 years ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆214Updated 2 weeks ago
• res-eng / resilience-for-software
  Introduction to resilience engineering concepts for software engineers
  ☆69Updated 5 years ago
• owulveryck / wardleyToGo
  Create your WardleyMaps as code/data and render it as SVG (onlinewardleymap and wtg language supported)
  ☆48Updated last year
• swardley / WARDLEY-MAP-REPOSITORY
  Maps from the 2022 AND BEYOND research projects
  ☆205Updated last month
• prathyvsh / knowledge-atlases
  Catalogue of portals that maps out roadmap for self learners
  ☆79Updated 2 years ago
• inkandswitch / farm
  🌱 Grow delightful software
  ☆255Updated 6 years ago
• fogus / thunks
  posts and code related to personal studies
  ☆372Updated 6 months ago
• danslimmon / qsim
  Queueing system simulator
  ☆52Updated 8 years ago
• authzed / zanzibar-annotated
  Google's Zanzibar paper annotated for folks outside of Google
  ☆77Updated last week
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆44Updated 2 years ago
• lemmy / BlockingQueue
  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
  ☆492Updated 5 months ago
• pel-daniel / mind-bicycles
  List of future of programming projects
  ☆359Updated 9 months ago
• neontribe / code-reading-club
  Resources for the Neontribe employees code reading club
  ☆81Updated 4 years ago
• andrewharmellaw / wardley-maps-book
  You know Simon Wardley's medium posts on his Wardley Mapping technique? This is an AsciiDoc of them.
  ☆295Updated 4 years ago
• dckc / awesome-ocap
  Awesome Object Capabilities and Capability Security
  ☆360Updated 3 months ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated 2 years ago
• tlaplus / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆141Updated 10 months ago
• Xe / when-then-zen
  Meditation instructions from spiritual texts ripped out of the contexts of their spirituality and presented in the universal format of Gh…
  ☆156Updated last year