Stars
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
homebrew tap for tag-ag
Quickly search through menu options of the front-most application - Alfred Workflow
Make a USB pedal send one key tap when you press it in and another when you release it
Vim-fork focused on extensibility and usability
Educational materials related to the STAMP safety analysis framework.
The official OS X client to the Radio Paradise web radio.
Black-box transactional safety checker based on cycle detection
Like OS X's built-in pbpaste but more flexible and raw
Documents and resources for the "Learning from Incidents in Software" slack workspace.
This is a collection of readings, talks, and other bits regarding the field of Resilience Engineering
Hasklig - a code font with monospaced ligatures
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…
A curated list of Chaos Engineering resources.
📘 The interactive computing suite for you! ✨
An unofficial copy of MIT's Alloy Analyzer model checking tool.
Local development Kubernetes Solo Cluster for macOS made very simple