Alternatives and similar repositories for cycle-counter

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

• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 5 years ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆60Updated 2 years ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆81Updated last year
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆34Updated 2 months ago
• matthieu-m / llmalloc
  A low-latency malloc implementation
  ☆25Updated 4 years ago
• pkhuong / reciprocal
  Faster division by constants that aren't known at compile-time
  ☆29Updated 4 years ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated last year
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆52Updated 7 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆44Updated this week
• Restioson / buddy-allocator-workshop
  A workshop for comparing buddy allocator algorithms
  ☆16Updated 7 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆82Updated 2 years ago
• stephenrkell / donald
  The Mickey Mouse of dynamic linkers
  ☆16Updated 2 weeks ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆39Updated 2 years ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆28Updated 3 years ago
• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆58Updated last year
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago
• gimli-rs / locate-dwarf
  A crate to find DWARF debug symbols from stripped binaries
  ☆22Updated 2 years ago
• UTSASRG / Guarder
  ☆13Updated 7 years ago
• vkrasnov / avx_qsort
  Quick sort code using AVX2 instructions
  ☆69Updated 8 years ago
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated 11 months ago
• cfallin / waffle
  ☆58Updated 3 months ago
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆61Updated last year
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆103Updated 3 years ago
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆67Updated 5 years ago
• graydon / photesthesis
  test framework
  ☆10Updated 4 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆22Updated 2 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 4 years ago
• slothy-optimizer / slothy
  Assembly super-optimization via constraint solving
  ☆223Updated this week
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated last year