pornin / cycle-counter
☆22Updated 3 months ago
Alternatives and similar repositories for cycle-counter:
Users that are interested in cycle-counter are comparing it to the libraries listed below
- Modeling futexes in TLA+☆22Updated 5 months ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 4 years ago
- A low-latency malloc implementation☆25Updated 3 years ago
- A small crate for hashing multi sets☆16Updated 3 years ago
- Faster division by constants that aren't known at compile-time☆24Updated 3 years ago
- Fast WebAssembly Baseline Compiler☆56Updated last year
- Wasm Analysis Framework For Lightweight Experiments☆42Updated 3 months ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆95Updated 2 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- An educational implementation of a modern compressor in Rust☆47Updated last year
- New register allocator designed as a successor to regalloc2☆36Updated 3 weeks ago
- ☆58Updated 6 months ago
- Easy SMT solver interaction☆34Updated 2 weeks ago
- ☆11Updated 3 years ago
- Debugging WebAssembly? Put some Whamm! on it.☆19Updated this week
- Frayed ribbon filter cascade☆46Updated last year
- Simplify the use of performance counters.☆64Updated 2 years ago
- A crate to find DWARF debug symbols from stripped binaries☆22Updated last year
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆33Updated this week
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆77Updated 3 weeks ago
- A workshop for comparing buddy allocator algorithms☆16Updated 6 years ago
- An arbitrary-precision floating-point library in Rust☆44Updated last year
- Semantic model for aspects of ELF static linking and DWARF debug information☆43Updated 3 months ago
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated 4 months ago
- ☆27Updated 4 years ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆36Updated 7 months ago
- Memory Management ToolKit☆33Updated last month
- A determinizing tracer using Ptrace☆35Updated 4 years ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆103Updated 7 months ago