Model-based testing tool

A collection of TLA⁺ specifications of varying complexities.

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

Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.

Crucible is a library for symbolic simulation of imperative programs

JaTyC: a typestate checker for Java

Java library for fast fixed-point arithmetic based on longs with support for up to 18 decimal places.

Koka language compiler and interpreter

Low-Cost Open Source Ventilator or PAPR

Efficient reliable UDP unicast, UDP multicast, and IPC message transport

Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events

Performance visualisation tools

Property-based testing, JUnit-style

Animated sprite editor & pixel art tool (Windows, macOS, Linux)

Delivers struct types for Java programming language.

LR(1) parser generator for Rust

Base image for my Docker images with desktop apps

✒️ The Gamma lets anyone create transparent and open data visualizations that are linked to the original data source and encourages the reader to further explore data.

A state management library for redux

Cap'n Proto serialization/RPC system for TypeScript & JavaScript

Easily control entire docker-machine based clusters from the command-line.

ExarDB - An event store with streaming support built with Rust

Utils to define react redux reducers/actions in typescript.

Rust Code Completion utility

Ultra low latency zero garbage implementation of the raft consensus algorithm.

Pony is an open-source, actor-model, capabilities-secure, high performance programming language

Pure Pony implementation of the ZeroMQ messaging library. 🐴 0️⃣ Ⓜ️ 🍀

🐴 A simple dependency manager for the Pony language.

Raft protocol concrete implementation in UDP and using Lwt