reitzensteinm / temper
Deterministic simulation of concurrency and failure in distributed systems
☆35Updated 5 months ago
Alternatives and similar repositories for temper:
Users that are interested in temper are comparing it to the libraries listed below
- ☆18Updated 2 years ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆36Updated 5 months ago
- MnemOS Global Networking Protocol☆16Updated last year
- Serde serializer for generating Starlark build targets☆66Updated this week
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆39Updated 5 months ago
- Antithesis SDK for Rust☆16Updated 3 weeks ago
- Human-friendly indexed collections☆51Updated last year
- How fast can we recognize a word from a small pre-determined set?☆75Updated 2 weeks ago
- Memory validation framework for Rust☆66Updated last week
- An experiment in an augmented error handling type for Rust☆38Updated this week
- Calculate the next timestamp matching a given crontab pattern☆54Updated this week
- Library for building stateful property tests using the proptest crate☆23Updated 8 months ago
- SIMD base64 codecs☆79Updated last year
- the WebAssembly partial evaluator☆46Updated 2 months ago
- exhaustive testing library☆63Updated 6 months ago
- What do you call a pointer we stole the high bits off? An ointer.☆86Updated last year
- An example demonstrating how Rust and cargo support incompatible transitive dependencies (like Node.js + npm not Python + pip)☆29Updated 5 months ago
- Radix heap implementation in Rust☆33Updated 9 months ago
- Concrete Syntax Tree library☆90Updated last week
- Library and proc macro to analyze memory usage of data structures in rust.☆145Updated last week
- Resilient LL(1) parser generator for Rust☆128Updated last month
- high-efficiency concurrent reclamation☆35Updated 5 months ago
- A flat container abstraction for Rust☆14Updated 3 months ago
- A JS devtool orchestrator☆39Updated 2 months ago
- Pure-Rust implementation of Fast Static Symbol Tables string compression☆121Updated this week
- Alternative future adapters that provide cancel safety.☆60Updated 3 weeks ago
- Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"☆19Updated last year
- ☆10Updated 4 months ago
- A local first persistent log☆35Updated last month
- A basic log-structured flash datastore☆20Updated 2 years ago