🐚 foreman in shell

Erlang/OTP 25+ PostgreSQL client

Program logic for developing and verifying distributed systems

Sioyek is a PDF viewer with a focus on textbooks and research papers

A program specification language with a formal syntax and ad-hoc semantics.

Performace Profiler/Monitor for .net applications

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

A mixture of tooling combined to produce JavaScript from OCaml & Reason

The Git repository for the mCRL2 toolset.

Zotonic - The Erlang Web Framework & CMS

🍬 a functional language for building type-safe, scalable, and maintainable applications

Static types for JSON APIs

A simple REPL for TLA+.

Distributed PubSub and Presence platform for the Phoenix Framework

Configurable embedded Linux firmware update creator and runner

Generic setup utility for Erlang-based systems

Convergent Replicated Data Types

A random property testing tool for JavaScript