A collection of TLA⁺ specifications of varying complexities.

Taskwarrior - Command line Task Management

A domain specific programming language with modern tooling for designing/reasoning about code architecture.

Turso is an in-process SQL database, compatible with SQLite.

Rust Linux-compatible kernel

A radically modular HTML/CSS rendering engine

TLA+ Web Explorer Prototype

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

A cross-platform GUI library for Rust, inspired by Elm

High level model for MongoDB consistency

Implementation of the Cedar Policy Language

Dafny is a verification-aware programming language

The P programming language.

A static web application to explore and animate a TLA+ state graph.

Interactive playground for exploring and sharing TLA+ specifications in the browser.

A tool to visualize distributed system logs

Fullstack app framework for web, desktop, and mobile.

A tiling window manager for Windows 🍉

🦀 event stream processing for developers to collect and transform data in motion to power responsive data intensive applications.

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

Collections of awesome neovim plugins.

No Nonsense Neovim Client in Rust

Master programming by recreating your favorite technologies from scratch.

Learn TLA+ for free! No prior experience necessary!

Lightning-fast and Powerful Code Editor written in Rust

A utf8 text rope for manipulating and editing large texts.

Quickstart configs for Nvim LSP

A starting point to setup some lsp related features in neovim.

Vim-fork focused on extensibility and usability