pornin / cycle-counterLinks
☆23Updated 6 months ago
Alternatives and similar repositories for cycle-counter
Users that are interested in cycle-counter are comparing it to the libraries listed below
Sorting:
- Faster division by constants that aren't known at compile-time☆29Updated 3 years ago
- Easy SMT solver interaction☆35Updated 2 months ago
- Modeling futexes in TLA+☆20Updated 8 months ago
- Fast WebAssembly Baseline Compiler☆56Updated 2 years ago
- A low-latency malloc implementation☆25Updated 4 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 5 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- Debugging WebAssembly? Put some Whamm! on it.☆31Updated this week
- An educational implementation of a modern compressor in Rust☆47Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- A small crate for hashing multi sets☆16Updated 3 years ago
- Wasm Analysis Framework For Lightweight Experiments☆48Updated 6 months ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆25Updated 2 years ago
- An arbitrary-precision floating-point library in Rust☆45Updated last month
- New register allocator designed as a successor to regalloc2☆38Updated this week
- test framework☆10Updated 4 years ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆39Updated 10 months ago
- A workshop for comparing buddy allocator algorithms☆16Updated 7 years ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- ☆58Updated 9 months ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆102Updated 3 years ago
- A crate to find DWARF debug symbols from stripped binaries☆22Updated 2 years ago
- An implementation of strace in Rust, and a library interface☆22Updated 7 years ago
- Virtual Machine/Interpreter dispatch method experiments in Rust☆38Updated 7 years ago
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆21Updated this week
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated this week
- Quick sort code using AVX2 instructions☆69Updated 8 years ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆83Updated last week
- Hyaline Reclamation (PLDI '21, PODC '19)☆22Updated 3 years ago
- ALLVM Tools☆56Updated 3 years ago