Choreograph distributed protocols in Quint.
☆17Jun 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:
- A model-based testing framework for Quint + Rust☆83May 25, 2026Updated 3 months ago
- Small C to WebAsssembly compiler developed for the Compilers course at UFES☆17Mar 15, 2022Updated 4 years ago
- TLAi+ Benchmarks☆37Feb 6, 2026Updated 7 months ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆48Jul 7, 2022Updated 4 years ago
- hasql postgres queue☆18Jul 28, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 🐧 Ucanto UCAN RPC in Go☆13Mar 18, 2026Updated 6 months ago
- Rust library implementing the Toorani-Beheshti signcryption scheme☆13Aug 15, 2023Updated 3 years ago
- ☆11Feb 13, 2023Updated 3 years ago
- Solving 2048☆10Mar 28, 2025Updated last year
- Let's write some Advent of Code in OCaml☆16Nov 28, 2023Updated 2 years ago
- ☆24Feb 14, 2023Updated 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,682Aug 20, 2026Updated 3 weeks ago
- Repository of the Haskell Blog☆19Aug 31, 2026Updated 2 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- https://arxiv.org/html/2402.02668v2☆27Apr 23, 2025Updated last year
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- ☆29Updated this week
- A liquidity allocator & auction platform built for the Cosmos Hub and the Interchain.☆11Updated this week
- LogTape OpenTelemetry Sink☆14Jun 12, 2025Updated last year
- WireGuard-Go, but connect to vpp by libmemif.☆16Sep 25, 2021Updated 4 years ago
- Linux/X11 tool for intercepting mouse events and executing commands. Written in Kotlin Native.☆13Sep 6, 2021Updated 5 years ago
- ☆13Jun 4, 2021Updated 5 years ago
- A javascript implementation of the rendezvous protocol for libp2p☆13May 1, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache☆12Feb 25, 2025Updated last year
- Dafny verifies proofs; claimcheck confirms intent.☆29Jul 5, 2026Updated 2 months ago
- ☆11Aug 24, 2026Updated 3 weeks ago
- Simple Structured logger☆14Jun 8, 2025Updated last year
- Spatial tile cache that saves its data into the IndexedDB of your browser☆14Jun 1, 2023Updated 3 years ago
- Formal verification agent for design or implementation☆16Nov 18, 2025Updated 10 months ago
- The TLA⁺ Proof Manager☆124Updated this 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
- GHC plugin for automatic case splitting☆19May 13, 2026Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Type level string parser combinators☆20Jul 3, 2026Updated 2 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
- A Coq plugin to disable positivity check, guard check and termination check☆16Nov 2, 2019Updated 6 years ago
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Jan 3, 2022Updated 4 years ago
- agentic skills to write TLA+ specs or TLAPS proofs☆20Jul 11, 2026Updated 2 months ago