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+
  ☆22Updated 3 months ago
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆63Updated 4 years ago
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆30Updated this week
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆25Updated this week
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆39Updated last month
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆56Updated last year
• nadavrot / arpfloat
  An arbitrary-precision floating-point library in Rust
  ☆43Updated 11 months ago
• pkhuong / reciprocal
  Faster division by constants that aren't known at compile-time
  ☆24Updated 3 years ago
• matthieu-m / llmalloc
  A low-latency malloc implementation
  ☆24Updated 3 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆14Updated last month
• graydon / concorde
  ☆27Updated 4 years ago
• rljacobson / lifetimes
  A lifetime inference algorithm for the Rust programming language written in Soufflé.
  ☆24Updated 5 years ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆72Updated 2 weeks ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆44Updated 4 years ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆30Updated 7 months ago
• NicolasLagaillardie / mpst_rust_github
  A library for deadlock-free multiparty session-typed communication in Rust.
  ☆27Updated 4 months ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago
• snu-sf / promising-coq
  The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
  ☆35Updated 3 months ago
• graydon / photesthesis
  test framework
  ☆10Updated 3 years ago
• cfallin / waffle
  ☆58Updated 4 months ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆35Updated 2 months ago
• Amanieu / regalloc3
  New register allocator designed as a successor to regalloc2
  ☆30Updated last week
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆94Updated 2 years ago
• uw-unsat / jitsynth
  ☆17Updated 4 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆17Updated this week
• gimli-rs / locate-dwarf
  A crate to find DWARF debug symbols from stripped binaries
  ☆21Updated last year
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆78Updated 11 months ago