lorin

neovim

Vim-fork focused on extensibility and usability

mkdocs

Project documentation with Markdown.

nteract

📘 The interactive computing suite for you! ✨

awesome-chaos-engineering

A curated list of Chaos Engineering resources.

Hasklig

Hasklig - a code font with monospaced ligatures

plotnine

A Grammar of Graphics for Python

ansible-container

DEPRECATED -- Ansible Container was a tool to build Docker images and orchestrate containers using only Ansible playbooks.

pipsi

pip script installer

org.alloytools.alloy

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 switching networks. This repository contains the code for the tool.

elle

Black-box transactional safety checker based on cycle detection

kube-solo-osx

Local development Kubernetes Solo Cluster for macOS made very simple

strikt

An assertion library for Kotlin

Menu-Bar-Search

Quickly search through menu options of the front-most application - Alfred Workflow

QuickTheories

Property based testing for Java 8

learntla

A TLA+ guide

Resilience-Engineering-Resources

This is a collection of readings, talks, and other bits regarding the field of Resilience Engineering

chaos

A test framework for linearizability check with Go

macos-pasteboard

Like OS X's built-in pbpaste but more flexible and raw

clutch

Make a USB pedal send one key tap when you press it in and another when you release it

LFI-Slack

Documents and resources for the "Learning from Incidents in Software" slack workspace.

tla.vim

Vim plugin for TLA+ and PlusCal

tla_workshop

AlloyAnalyzer

An unofficial copy of MIT's Alloy Analyzer model checking tool.

rposx

The official OS X client to the Radio Paradise web radio.

stamp-materials

Educational materials related to the STAMP safety analysis framework.

references

Bibliography of stuff I've been reading

community-of-practice

Communities of Practice reading list

alloy

A language and tool for relational models

homebrew-tag-ag

homebrew tap for tag-ag

gexviewer