This is the Python implementation of DistAlgo, a language for distributed algorithms.
☆93Aug 12, 2025Updated last year
Alternatives and similar repositories for distalgo
Users that are interested in distalgo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Run TLC in cmd☆15Jan 20, 2026Updated 9 months ago
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆10Jun 6, 2023Updated 3 years ago
- ☆20Jan 9, 2025Updated last year
- Reading the linearizability paper with TLA+☆54Apr 24, 2022Updated 4 years ago
- OPAQUE asymmetric PAKE, and its threshold implementation. Experimental, not audited.☆16Jun 16, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Pluscal/TLA+ modeling of distributed systems/protocols☆84Oct 21, 2023Updated 3 years ago
- TLA+ questions, answers, and experiments☆23Aug 30, 2022Updated 4 years ago
- VS Code extension adding support for Leslie Lamport's TLA+ language☆14Oct 30, 2017Updated 9 years ago
- ☆11Oct 21, 2024Updated 2 years ago
- ☆12Aug 18, 2026Updated 2 months ago
- Bloom + C++☆17Sep 12, 2017Updated 9 years ago
- ☆13Nov 10, 2024Updated last year
- Gans & Holden (2022) - A Solomonic Solution to Ownership Disputes☆11Feb 14, 2022Updated 4 years ago
- Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.☆120Mar 6, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A TLA+ module for animating TLC traces.☆50Dec 9, 2024Updated last year
- ☆13Apr 10, 2025Updated last year
- ☆11Jul 13, 2022Updated 4 years ago
- Speed up your builds by caching Anaconda environments on GitHub Actions☆12Oct 23, 2022Updated 4 years ago
- Terry Winograd's SHRDLU from 1972, cf. http://hci.stanford.edu/winograd/shrdlu/☆10Dec 16, 2015Updated 10 years ago
- Inline formatting for a list, e.g., collaborative rich text☆11Sep 4, 2024Updated 2 years ago
- Artifact package accompanying our POPL 2024 submission titled "A Universal, Sound, and Complete Forward Reasoning Technique for Machine-V…☆11Aug 7, 2024Updated 2 years ago
- An Implementation for Single-node Big Key-value Cache designed for operating on All-flash-array (AFA)☆10Mar 7, 2023Updated 3 years ago
- Stress the CPU. Simple CPU performance benchmark based on runtime in seconds☆13Jul 30, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Dr. TLA+ series - learn an algorithm and protocol, study a specification☆860Apr 18, 2022Updated 4 years ago
- Jupyter kernel for TLA⁺☆122Sep 12, 2022Updated 4 years ago
- Redis bindings for Racket☆15Jul 5, 2023Updated 3 years ago
- ☆10May 10, 2016Updated 10 years ago
- Texto do projeto base do Livro Aberto de Matemática. Este é o esforço de professores da Educação Básica e Superior, assim como de entusia…☆10Dec 22, 2016Updated 9 years ago
- Prototype implementation and extended paper of SDPaxos☆16Nov 30, 2018Updated 7 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆14Jun 16, 2022Updated 4 years ago
- Sonic implementation in Rust☆17Jun 4, 2019Updated 7 years ago
- Rust implementation of the SWIM protocol.☆14Nov 6, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- State-of-the-art about program verification on Ethereum DApps☆22Dec 6, 2023Updated 2 years ago
- Hanoi Omega-Automata Format☆16Nov 20, 2022Updated 3 years ago
- Paxos protocol framework☆557Dec 29, 2023Updated 2 years ago
- A service for launching containerized processes on cloud infrastructure.☆12Nov 16, 2023Updated 2 years ago
- PlusCal formulations of various solutions of the critical section problem like Lamport's Fast Mutual Exclusion algorithm or Dekker's algo…☆10Nov 17, 2015Updated 10 years ago
- ☆12Jul 10, 2020Updated 6 years ago
- A framework to find good combinations of optimizations for computational kernels on GPUs.☆26Nov 30, 2020Updated 5 years ago