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.
  ☆95Updated 3 months ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆31Updated 8 months ago
• rachitnigam / runt
  A lighweight and parallel snapshot testing framework in rust
  ☆36Updated 2 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• cfallin / waffle
  ☆58Updated 2 months ago
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆39Updated 5 years ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆50Updated 3 years ago
• sujayakar / rsdict
  ☆49Updated 3 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆69Updated last week
• igordejanovic / rustemo
  LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/
  ☆39Updated this week
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆39Updated 4 months ago
• softdevteam / krun
  High fidelity benchmark runner
  ☆90Updated 4 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆39Updated this week
• mikhail-m1 / linux-perf-file-reader
  Library for parse perf.data file from Linux perf tool for Rust
  ☆18Updated 5 years ago
• facebookarchive / Rust-SMT-LIB-API
  An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust.
  ☆36Updated 5 years ago
• jfecher / golden-tests
  A golden file testing library for rust
  ☆37Updated last week
• sdleffler / whisper
  Logic programming, for Rust, from inside Rust.
  ☆42Updated 5 years ago
• pornin / cycle-counter
  ☆23Updated 9 months ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆33Updated last month
• ykjit / yk
  yk packages
  ☆33Updated last week
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated 2 months ago
• BurntSushi / nakala
  A low level embedded information retrieval system.
  ☆46Updated 4 years ago
• bytecodealliance / filecheck
  Library for writing tests for utilities that read text files and produce text output
  ☆23Updated 5 years ago
• cormacrelf / incremental-rs
  A Rust port of Jane Street's Incremental library.
  ☆27Updated 8 months ago
• facebookarchive / propfuzz
  A Rust toolkit to combine property-based testing and fuzzing.
  ☆136Updated 3 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 4 years ago
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 5 years ago
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆45Updated last year
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆59Updated 2 years ago
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated this week