Alternatives and similar repositories for cycle-counter

Users that are interested in cycle-counter are comparing it to the libraries listed below

• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated 7 months ago
• matthieu-m / llmalloc
  A low-latency malloc implementation
  ☆25Updated 4 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆30Updated last week
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated 2 months ago
• cronokirby / multiset-hash
  A small crate for hashing multi sets
  ☆16Updated 3 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆25Updated 2 years ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated 6 months ago
• Amanieu / regalloc3
  New register allocator designed as a successor to regalloc2
  ☆38Updated 2 months ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆38Updated last year
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 5 years ago
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆46Updated 6 months ago
• gimli-rs / locate-dwarf
  A crate to find DWARF debug symbols from stripped binaries
  ☆22Updated 2 years ago
• pkhuong / reciprocal
  Faster division by constants that aren't known at compile-time
  ☆25Updated 3 years ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆83Updated 3 weeks ago
• nadavrot / arpfloat
  An arbitrary-precision floating-point library in Rust
  ☆45Updated last month
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆56Updated last year
• cfallin / waffle
  ☆58Updated 8 months ago
• UTSASRG / Guarder
  ☆13Updated 6 years ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆102Updated 3 years ago
• miestrode / ekege
  A different approach to an E-graph library
  ☆25Updated last month
• langston-barrett / tree-crasher
  Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
  ☆68Updated 3 weeks ago
• nadavrot / compressor
  An educational implementation of a modern compressor in Rust
  ☆47Updated last year
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆38Updated this week
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago
• graydon / photesthesis
  test framework
  ☆10Updated 3 years ago
• matklad / paxosnotes
  ☆23Updated 2 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated 3 weeks ago