DistAlgo Language

This is the Python implementation of DistAlgo, a language for distributed algorithms.

Python 92 69 9 2 Updated Aug 12, 2025

alda Public

Alda is an extension of DistAlgo to support logic rules.

OpenEdge ABL 3 2 0 1 Updated May 3, 2024

A repository of algorithms implemented in DistAlgo

Python 2MIT 1 0 0 Updated Dec 4, 2020

proofs Public

TLA 9 4 0 0 Updated Nov 4, 2019

A DistAlgo to TLA+ translator

Python 1 3 0 0 Updated Jul 29, 2018

Navigation Menu