smarr / ReBenchDB
ReBenchDB records benchmark results and provides customizable reporting to track and analyze run-time performance of software programs.
☆16Updated 5 months ago
Alternatives and similar repositories for ReBenchDB:
Users that are interested in ReBenchDB are comparing it to the libraries listed below
- Execute and document benchmarks reproducibly.☆90Updated last month
- A (parametrized) Rust SAT solver originally based on MiniSat☆31Updated 2 months ago
- A lighweight and parallel snapshot testing framework in rust☆31Updated last year
- Deterministic simulation of concurrency and failure in distributed systems☆35Updated 7 months ago
- ☆31Updated 9 months ago
- An experimental columnar arena☆43Updated 5 months ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆36Updated 7 months ago
- Scrut is a testing toolkit for CLI applications. A tool to scrutinize terminal programs without fuss.☆27Updated this week
- Memory Management ToolKit☆33Updated last month
- Type theory for busy engineers☆18Updated 10 months ago
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆38Updated this week
- High fidelity benchmark runner☆86Updated 3 years ago
- ☆58Updated 6 months ago
- A benchmark suite and tool to compare different implementations of the same primitives.☆73Updated last month
- An implementation of strace in Rust, and a library interface☆22Updated 6 years ago
- A Result type that differentiates between local errors (which can be handled) and fatal errors (which can't)☆15Updated 2 years ago
- Programming Language for Continuous Deep Analytics☆45Updated last year
- Converts cargo check (and clippy) JSON output to the GitHub Action error format☆13Updated 9 months ago
- Datalog + Egg = Good☆66Updated last year
- egg is a flexible, high-performance e-graph library☆11Updated 11 months ago
- ☆10Updated 5 years ago
- Library for parse perf.data file from Linux perf tool for Rust☆18Updated 4 years ago
- Build a rustc sysroot with custom flags☆17Updated 6 months ago
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆30Updated 5 years ago
- An experimental programming language for ergonomic software verification☆16Updated 2 weeks ago
- adaptive algorithms for rayon☆39Updated 4 years ago
- ☆20Updated 3 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- ☆11Updated 3 years ago
- A general purpose relational language☆20Updated 5 years ago