A semantic JSON compare tool

https://openjdk.org/projects/jdk/21 released 2023-09-19

TLA+ language support for Visual Studio Code

An HTTP client with REST literals

Resources for Practice of Practice Gameplay

The P programming language.

Clojure & ClojureScript Interactive Programming for VS Code

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

homebrew tap for tag-ag

Communities of Practice reading list

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

Bibliography of stuff I've been reading

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

An assertion library for Kotlin

Property based testing for Java 8

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 language and tool for relational models

A Grammar of Graphics for Python

A TLA+ guide

A test framework for linearizability check with Go