Alternatives and similar repositories for cycle-counter:

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

• matthieu-m / llmalloc
  A low-latency malloc implementation
  ☆25Updated 3 years ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆22Updated 4 months ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆34Updated this week
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆56Updated last year
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• pkhuong / reciprocal
  Faster division by constants that aren't known at compile-time
  ☆24Updated 3 years ago
• nadavrot / arpfloat
  An arbitrary-precision floating-point library in Rust
  ☆44Updated last year
• Amanieu / regalloc3
  New register allocator designed as a successor to regalloc2
  ☆34Updated 2 weeks ago
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆33Updated last week
• cronokirby / multiset-hash
  A small crate for hashing multi sets
  ☆15Updated 3 years ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆76Updated 2 weeks ago
• nadavrot / compressor
  An educational implementation of a modern compressor in Rust
  ☆47Updated last year
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆41Updated 2 months ago
• cbiffle / lilist
  A Rust doubly-linked intrusive list with Miri tests
  ☆12Updated 9 months ago
• TartanLlama / dwarbf
  A Brainfuck interpreter embedded inside DWARF debug information
  ☆36Updated 9 months ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆22Updated this week
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆94Updated 2 years ago
• gimli-rs / locate-dwarf
  A crate to find DWARF debug symbols from stripped binaries
  ☆21Updated last year
• graydon / exhaustigen
  ☆11Updated 3 years ago
• cfallin / waffle
  ☆58Updated 5 months ago
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆63Updated 4 years ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• rusnikola / wfe
  Wait-Free Eras (PPoPP '20)
  ☆10Updated 5 years ago
• bitwiseshiftleft / compressed_map
  Frayed ribbon filter cascade
  ☆45Updated last year
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆30Updated last month
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆35Updated 4 years ago
• pliniker / dispatchers
  Virtual Machine/Interpreter dispatch method experiments in Rust
  ☆38Updated 7 years ago