vsr-tlaplus

(★ 52)

TLA+ specifications related to Viewstamped Replication

vsr-tlaplus Latest Version Download

Download Latest Version (.zip)

Today's picks

langchain ★ 144,721

The agent engineering platform.

Python
opencode ★ 199,829

The open source coding agent.

TypeScript
youtube-dl ★ 140,982

Command-line program to download videos from YouTube.com and other video sites

Python
godot ★ 115,961

Godot Engine – Multi-platform 2D and 3D game engine

C++
transformers ★ 164,305

🤗 Transformers: the model-definition framework for state-of-the-art machine learning model

Python
manim ★ 91,823

Animation engine for explanatory math videos

Python
// repository documentation