minotaur-toolkit / minotaur
A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
☆104Updated 7 months ago
Alternatives and similar repositories for minotaur:
Users that are interested in minotaur are comparing it to the libraries listed below
- Testing memory-level parallelism☆67Updated last year
- InstLatX64_Demo☆42Updated last month
- Dynamic runtime inlining with LLVM☆66Updated 3 years ago
- ☆29Updated this week
- Assembly super-optimization via constraint solving☆185Updated this week
- Quick sort code using AVX2 instructions☆68Updated 7 years ago
- ☆56Updated 6 months ago
- Fast WebAssembly Baseline Compiler☆55Updated last year
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆317Updated 3 years ago
- User-space Page Management☆107Updated 7 months ago
- The new home for CnC Tests and Framework Libaries☆57Updated 3 months ago
- uops.info Code Analyzer☆262Updated last year
- A collection of (public) notes on assorted topics☆75Updated 2 weeks ago
- Intel® Instrumentation and Tracing Technology (ITT) and Just-In-Time (JIT) API☆101Updated last month
- An advanced benchmarking tool☆165Updated 2 years ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…☆31Updated this week
- Benchmarking suite for Google workloads☆122Updated this week
- A program synthesis framework for verified lifting applications☆50Updated 3 weeks ago
- Programatically obtain information about the pages backing a given memory region☆74Updated 3 years ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆29Updated 11 years ago
- A minimal (really) out-of-tree MLIR example☆43Updated 3 weeks ago
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- Super-parallel Python port of the C-Reduce☆273Updated 2 months ago
- An awesome list of e-graph resources☆145Updated last month
- A small library and kernel module for easy access to x86 performance monitor counters under Linux.☆96Updated 11 months ago
- ROB size testing utility☆145Updated 3 years ago
- Fast Hash Functions Using AES Intrinsics☆82Updated 5 years ago
- An educational implementation of a modern compressor in Rust☆47Updated last year
- Very low-overhead timer/counter interfaces for C on Intel 64 processors.☆129Updated 5 years ago
- Record "perf" performance metrics for individual functions/regions of an ELF binary.☆80Updated last year