Choreograph distributed protocols in Quint.
☆16Jun 23, 2026Updated 2 months ago
Alternatives and similar repositories for choreo
Users that are interested in choreo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Modular framework for building reliable, easy to operate, high performance, EVM-compatible networks.☆25Mar 17, 2026Updated 5 months ago
- A model-based testing framework for Quint + Rust☆78May 25, 2026Updated 3 months ago
- Small C to WebAsssembly compiler developed for the Compilers course at UFES☆17Mar 15, 2022Updated 4 years ago
- A repository for sharing agent capabilities and expertise related to TLA+.☆36Feb 4, 2026Updated 6 months ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆48Jul 7, 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.
- 🐧 Ucanto UCAN RPC in Go☆13Mar 18, 2026Updated 5 months ago
- Rust library implementing the Toorani-Beheshti signcryption scheme☆13Aug 15, 2023Updated 3 years ago
- Dynamic WireGuard tunnel configuration.☆15Mar 8, 2023Updated 3 years ago
- ☆11Feb 13, 2023Updated 3 years ago
- An app where you can manage your statuspage.io page with ease and on the go built with flutter☆22Nov 1, 2022Updated 3 years ago
- CLI tool to help support event sourcing applications☆12Jul 13, 2021Updated 5 years ago
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆1,645Aug 20, 2026Updated last week
- Repository of the Haskell Blog☆19Aug 4, 2026Updated 3 weeks ago
- https://arxiv.org/html/2402.02668v2☆27Apr 23, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 💅 A component library based on ShadCN and Tailwind CSS. Built with Basecoat CSS.☆17Aug 23, 2026Updated last week
- WireGuard-Go, but connect to vpp by libmemif.☆16Sep 25, 2021Updated 4 years ago
- An experimental and still heavily in progress Haskell effect system library supporting coroutines and higher order effects.☆15Mar 5, 2026Updated 5 months ago
- Linux/X11 tool for intercepting mouse events and executing commands. Written in Kotlin Native.☆13Sep 6, 2021Updated 4 years ago
- ☆13Jun 4, 2021Updated 5 years ago
- A javascript implementation of the rendezvous protocol for libp2p☆13May 1, 2025Updated last year
- Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache☆12Feb 25, 2025Updated last year
- Calculus of Constructions☆18Jul 17, 2019Updated 7 years ago
- Bring colorful and funny Jumoreski into your workspace!☆17Nov 5, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Wasm based bindings for cue in javascript☆13Dec 8, 2022Updated 3 years ago
- 사용자의 요청을 적절한 서비스에 라우팅하고, 유효성 검사, 인증, 서비스 탐색 및 부하 분산 등등의 기능을 하는 HTTPs 기반의 서버☆11Jul 9, 2021Updated 5 years ago
- `linear-locks` provides locking primitives that are statically guaranteed to be free of deadlocks.☆22Jul 13, 2026Updated last month
- The TLA⁺ Proof Manager☆123Aug 22, 2026Updated last week
- Fuse is a statically typed, purely functional language with higher-kinded types and ad-hoc polymorphism. It compiles to the GRIN whole-pr…☆66Jul 29, 2026Updated last month
- ☆12Oct 9, 2025Updated 10 months ago
- Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git☆17Jan 23, 2024Updated 2 years ago
- [wip]☆12Mar 9, 2017Updated 9 years ago
- In-place translation of TLA⁺ symbols into Unicode, in Neovim☆15Mar 19, 2025Updated last year
- 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.
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Jan 3, 2022Updated 4 years ago
- Simplex consensus protocol☆22Updated this week
- agentic skills to write TLA+ specs or TLAPS proofs☆20Jul 11, 2026Updated last month
- An IPFS Pinning Service HTTP Client for TypeScript / Javascript☆11Apr 11, 2026Updated 4 months ago
- A non-opnionated HTTP server in ruby☆16Oct 20, 2024Updated last year
- ☆16Updated this week
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Oct 14, 2025Updated 10 months ago