mpmilano / MixTLinks
Prototype Mixed-consistency transaction implementation
☆64Updated 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☆104Updated last year
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆167Updated last week
- The TLA⁺ Proof Manager☆104Updated last week
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Learn TLA+ for free! No prior experience necessary!☆231Updated this week
- The Daedalus data description language☆84Updated 8 months ago
- Verifying concurrent storage and distributed systems☆208Updated last week
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆33Updated 4 years ago
- TLA+ Foundation☆31Updated 2 weeks ago
- Pure functional programming with whole-program mutability inference☆78Updated 4 months ago
- Session Type EDSL for Rust☆103Updated 3 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated last year
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 7 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Model-based testing tool☆62Updated 9 months ago
- Datalog with equality for rust☆72Updated 3 weeks ago
- A library for deadlock-free session-typed communication in Rust.☆47Updated 4 years ago
- Memory Management ToolKit☆37Updated 4 months ago
- Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)☆121Updated last year
- A compiler for Standard ML, somewhat☆204Updated 3 years ago
- Software Transactional Memory for OCaml☆134Updated 5 months ago
- Synthesize CRDTs from classic data types with verified lifting!☆149Updated last year
- Robust multi-prompt delimited control and effect handlers in C/C++☆129Updated 2 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- A term rewriting system for experimental programming language development.☆47Updated this week
- Forge: A Tool and Language for Teaching Formal Methods☆93Updated this week
- Tracing library☆36Updated 3 weeks ago
- vertical + gpu + free join + datalog☆21Updated 10 months ago
- Logically Qualified Data Types - automatically infer refinement types☆16Updated 4 years ago
- Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF☆42Updated 2 years ago