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

Used to generate and compare bounded timestamps.

Official Anytype client for Android

Official Anytype client for MacOS, Linux, and Windows

A media player for android, based on mpv-android and built with Jetpack Compose.

Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa

In-place translation of TLA⁺ symbols into Unicode, in Neovim

TLA+ and Distributed/Discrete Systems.

🎮 The best way to play your itch.io games

Android Client for Jellyfin

APALACHE: symbolic model checker for TLA+ and Quint

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

MPV Cast Client for Jellyfin

The Free Software Media System - Server Backend & API