SmnTin / lincheck
A linearizability checker for concurrent data structures
☆10Updated last year
Related projects ⓘ
Alternatives and complementary repositories for lincheck
- VSCode extension that is designed to help automate writing of Coq proofs.☆73Updated last week
- Logically Qualified Data Types - automatically infer refinement types☆15Updated 3 years ago
- OpenJDK binding for MMTk☆31Updated last week
- A simple induction and BMC engine.☆22Updated 2 years ago
- sketches for egg: a flexible, high-performance e-graph library☆25Updated 5 months ago
- Compositional Verification of Composite Byzantine Protocols☆11Updated 2 months ago
- A key-value store benchmark framework with customizable workloads☆15Updated last week
- A library for garbage collection in Rust.☆12Updated 3 years ago
- Alternative implementation of the logical framework Dedukti in Rust☆20Updated last week
- benchmarking e-graph extraction☆36Updated 2 weeks ago
- Debugging WebAssembly? Put some Whamm! on it.☆16Updated this week
- Translate Python and JavaScript into MLIR☆14Updated 2 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆11Updated 6 years ago
- A different approach to an E-graph library☆22Updated last month
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆20Updated 2 years ago
- An overview of property-based testing functionality☆54Updated 6 months ago
- An awesome list of e-graph resources☆106Updated last week
- ☆18Updated last month
- CIRC: Concurrent Immediate Reference Counting☆46Updated last week
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …☆13Updated last year
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 5 years ago
- Propositional logic with types in Rust☆60Updated last year
- Quantum circuits compiler with staging and continuations☆15Updated this week
- Automatically generate a compiler using equality saturation☆26Updated 7 months ago
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆17Updated this week
- Rust LLVM bindings☆31Updated last year
- ☆52Updated this week
- 🦙🦙.🦀☆27Updated last year
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆38Updated 2 months ago
- A lighweight and parallel snapshot testing framework in rust☆30Updated last year