rachitnigam / runt
A lighweight and parallel snapshot testing framework in rust
☆31Updated last year
Alternatives and similar repositories for runt:
Users that are interested in runt are comparing it to the libraries listed below
- An experimental columnar arena☆42Updated 3 months ago
- Transport-polymorphic, asynchronous session types for Rust☆61Updated 2 years ago
- Efficient sampling with uniform probability☆31Updated 2 years ago
- New register allocator designed as a successor to regalloc2☆30Updated 2 weeks ago
- Example implementation of stack tokens for Rust☆34Updated 2 years ago
- ☆29Updated 7 months ago
- ☆58Updated 4 months ago
- Rust LLVM bindings☆31Updated 2 years ago
- ☆18Updated 2 years ago
- enforce representation/class invariants in your Rust data structures☆12Updated last year
- An experiment in an augmented error handling type for Rust☆38Updated last week
- Rust bindings to the MLIR C API.☆62Updated last month
- A different approach to an E-graph library☆23Updated 3 months ago
- Programming Languages Intermediate Representation☆94Updated this week
- exhaustive testing library☆63Updated 6 months ago
- benchmarking e-graph extraction☆35Updated 2 months ago
- Serde serializer for generating Starlark build targets☆66Updated last week
- Propositional logic with types in Rust☆61Updated last year
- Experimenting with Rust's fundamental data model☆50Updated 3 months ago
- An implementation of strace in Rust, and a library interface☆22Updated 6 years ago
- Lift enum variants to the type-level.☆31Updated 3 years ago
- Human-friendly indexed collections☆51Updated last year
- sptr: The Strict Provenance Polyfill☆76Updated last year
- An alternative `std`-like implementation built on origin☆26Updated 3 weeks ago
- Library for building stateful property tests using the proptest crate☆23Updated 8 months ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Easy SMT solver interaction☆30Updated this week
- structured parallel execution for async Rust☆33Updated 5 months ago
- ☆15Updated 6 months ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆36Updated 5 months ago