pornin / cycle-counter
☆22Updated 4 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+☆20Updated 7 months ago
- Faster division by constants that aren't known at compile-time☆25Updated 3 years ago
- A low-latency malloc implementation☆25Updated 4 years ago
- Easy SMT solver interaction☆35Updated last month
- A small crate for hashing multi sets☆16Updated 3 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 4 years ago
- Debugging WebAssembly? Put some Whamm! on it.☆28Updated this week
- New register allocator designed as a successor to regalloc2☆38Updated 2 months ago
- An arbitrary-precision floating-point library in Rust☆45Updated last week
- A crate to find DWARF debug symbols from stripped binaries☆22Updated last year
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆79Updated this week
- Compiler optimizer for arbitrary control flow based on equality saturation☆101Updated 2 years ago
- ☆58Updated 7 months ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆36Updated 8 months ago
- Transport-polymorphic, asynchronous session types for Rust☆62Updated 2 years ago
- SFI verifier of Wasm binaries☆81Updated 2 years ago
- CLOCK-Pro cache replacement algorithm for Rust☆27Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- ☆11Updated 3 years ago
- Modular register allocator algorithms☆106Updated 2 years ago
- test framework☆10Updated 3 years ago
- ☆24Updated 4 years ago
- Wasm Analysis Framework For Lightweight Experiments☆46Updated 5 months ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆37Updated last week
- An educational implementation of a modern compressor in Rust☆47Updated last year
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- Fast WebAssembly Baseline Compiler☆56Updated last year