Alternatives and similar repositories for ReBenchDB:

Users that are interested in ReBenchDB are comparing it to the libraries listed below

• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆90Updated 2 months ago
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆35Updated 8 months ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 4 months ago
• brurucy / materialized-view
  ☆17Updated 9 months ago
• miestrode / ekege
  A different approach to an E-graph library
  ☆25Updated 3 weeks ago
• frankmcsherry / columnation
  An experimental columnar arena
  ☆43Updated 6 months ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• rachitnigam / runt
  A lighweight and parallel snapshot testing framework in rust
  ☆31Updated last year
• komora-io / pagetable
  wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata
  ☆36Updated 8 months ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆16Updated last week
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated last week
• antiguru / flatcontainer
  A flat container abstraction for Rust
  ☆14Updated 5 months ago
• softdevteam / krun
  High fidelity benchmark runner
  ☆88Updated 3 years ago
• facebookincubator / scrut
  Scrut is a testing toolkit for CLI applications. A tool to scrutinize terminal programs without fuss.
  ☆33Updated 3 weeks ago
• igordejanovic / rustemo
  LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/
  ☆38Updated this week
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• rutgers-apl / rlibm-all
  RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…
  ☆15Updated last year
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• langston-barrett / mogglo
  Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
  ☆30Updated 9 months ago
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆37Updated 4 years ago
• spacejam / historian
  ☆22Updated 6 years ago
• cfallin / waffle
  ☆58Updated 7 months ago
• pornin / cycle-counter
  ☆22Updated 4 months ago
• maximecb / kavascript
  Minimalistic dynamically-typed programming language for didactic purposes.
  ☆28Updated 2 years ago
• SchrodingerZhu / bench_suite
  ☆20Updated 4 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆28Updated this week
• tosc-rs / mgnp
  MnemOS Global Networking Protocol
  ☆16Updated last year
• olix0r / cargo-action-fmt
  Converts cargo check (and clippy) JSON output to the GitHub Action error format
  ☆13Updated 10 months ago
• yurivish / made-of-bits
  A little library of bit-based data structures.
  ☆15Updated 2 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated this week