smarr / ReBenchDBLinks
ReBenchDB records benchmark results and provides customizable reporting to track and analyze run-time performance of software programs.
☆17Updated last month
Alternatives and similar repositories for ReBenchDB
Users that are interested in ReBenchDB are comparing it to the libraries listed below
Sorting:
- Execute and document benchmarks reproducibly.☆91Updated last week
- An experimental columnar arena☆43Updated 8 months ago
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆38Updated this week
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆27Updated 2 years ago
- ☆58Updated last week
- A plugin for Criterion.rs to measure Linux perf events.☆43Updated last year
- A (parametrized) Rust SAT solver originally based on MiniSat☆31Updated 5 months ago
- A lighweight and parallel snapshot testing framework in rust☆33Updated last year
- ☆36Updated last year
- Debugging WebAssembly? Put some Whamm! on it.☆33Updated last week
- adaptive algorithms for rayon☆39Updated 5 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- A different approach to an E-graph library☆25Updated last month
- Rust-based Scheme Compiler, written in the Nanopass style☆12Updated 7 years ago
- ☆48Updated last month
- Datalog with equality for rust☆68Updated this week
- A simple induction and BMC engine.☆23Updated 3 years ago
- Rust library to program hardware performance counter.☆53Updated 2 years ago
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆33Updated last month
- The Daedalus data description language☆74Updated 3 months ago
- the WebAssembly partial evaluator☆76Updated last week
- Human-friendly indexed collections☆53Updated last month
- A low level embedded information retrieval system.☆45Updated 4 years ago
- High fidelity benchmark runner☆88Updated 3 years ago
- MiniSat reimplemented in Rust☆20Updated 7 years ago
- ☆27Updated 4 years ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆39Updated 10 months ago
- Liquid Types implementation for Rust☆29Updated 2 years ago
- Transport-polymorphic, asynchronous session types for Rust☆63Updated 2 years ago
- Library for parse perf.data file from Linux perf tool for Rust☆18Updated 5 years ago