lac-dcc / BenchGenLinks
Automatic Generation of Benchmarks to Stress-Test Computing Systems.
☆38Updated 2 weeks ago
Alternatives and similar repositories for BenchGen
Users that are interested in BenchGen are comparing it to the libraries listed below
Sorting:
- MimIR is my Intermediate Representation☆84Updated 2 weeks ago
- The Shine compiler for the RISE language☆83Updated 3 weeks ago
- A minimal development of SSA theory☆203Updated 2 weeks ago
- embedding MLIR in LEAN☆48Updated last year
- An awesome list of e-graph resources☆272Updated 3 weeks ago
- Cerberus C semantics☆79Updated 3 weeks ago
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆25Updated 3 months ago
- Implementing Halide's TRS inside of EGG☆33Updated 2 years ago
- sketches for egg: a flexible, high-performance e-graph library☆30Updated 3 months ago
- CN separation logic refinement type system for C☆43Updated 2 weeks ago
- The implementation of the Elevate language☆30Updated 9 months ago
- A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation☆73Updated this week
- ☆44Updated 2 months ago
- Definition of the Viper intermediate verification language.☆92Updated 2 weeks ago
- The VerCors verification toolset for verifying parallel and concurrent software☆85Updated 3 weeks ago
- An experimental optimizing compiler for Bril using egglog☆82Updated last month
- Search-based compiler for high-performance DSP programming☆69Updated last year
- Personal research notes☆17Updated last year
- Online demo without installing at - https://buildit.so/tryit☆187Updated last week
- Website for CS 265☆32Updated last year
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆16Updated 4 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆51Updated 5 months ago
- A translation validation framework for MLIR☆90Updated 9 months ago
- simple snapshot-style integration testing for commands☆75Updated 7 months ago
- Pull your compiler up with abstract bootstraps.☆31Updated 3 years ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆115Updated 4 months ago
- "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"☆19Updated 5 years ago
- Python bindings for egg☆49Updated 2 years ago
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆46Updated last year
- Rhyme is an Expressive Data-Centric Query Language☆30Updated last week