mpmilano / MixTLinks
Prototype Mixed-consistency transaction implementation
☆65Updated 7 years ago
Alternatives and similar repositories for MixT
Users that are interested in MixT are comparing it to the libraries listed below
Sorting:
- A TLA+ specification of the Apache BookKeeper replication protocol☆105Updated last year
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆185Updated last week
- The TLA⁺ Proof Manager☆106Updated 2 weeks ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 7 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Tracing library☆36Updated 2 weeks ago
- TLA+ Foundation☆32Updated 2 months ago
- Model-based testing tool☆63Updated 10 months ago
- Synthesize CRDTs from classic data types with verified lifting!☆150Updated last year
- Software Transactional Memory for OCaml☆135Updated 7 months ago
- Rust implementation of µKanren, a featherweight relational programming language.☆116Updated 3 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- A tool to visualize distributed system logs☆86Updated 4 years ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆75Updated 3 years ago
- Session Type EDSL for Rust☆103Updated 3 years ago
- Pure functional programming with whole-program mutability inference☆79Updated last month
- Verifying concurrent storage and distributed systems☆215Updated this week
- Learn TLA+ for free! No prior experience necessary!☆235Updated last month
- Proposed documentation for alloytools.org☆71Updated 4 months ago
- Cap'n Proto RPC implementation☆112Updated this week
- The Daedalus data description language☆87Updated last week
- Robust multi-prompt delimited control and effect handlers in C/C++☆131Updated 2 years ago
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆43Updated last year
- Programming language☆40Updated this week
- Execute and document benchmarks reproducibly.☆97Updated 6 months ago
- Azure Cosmos TLA+ specifications☆21Updated last year
- Rust-based Scheme Compiler, written in the Nanopass style☆12Updated 7 years ago
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆138Updated 7 months ago
- ☆104Updated 3 years ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆22Updated 2 years ago