lac-dcc / BenchGenLinks
Automatic Generation of Benchmarks to Stress-Test Computing Systems.
☆22Updated last week
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☆69Updated last week
- The Shine compiler for the RISE language☆83Updated last month
- Synthesis of Optimized Hash Functions☆54Updated 7 months ago
- simple snapshot-style integration testing for commands☆71Updated last month
- Collection of executable benchmarks☆44Updated last year
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆55Updated last year
- Rhyme is an Expressive Data-Centric Query Language☆30Updated 3 weeks ago
- An awesome list of e-graph resources☆188Updated 3 weeks ago
- Personal research notes☆16Updated 8 months ago
- Online demo without installing at - https://buildit.so/tryit☆178Updated 2 weeks ago
- ☆25Updated last month
- A minimal development of SSA theory☆148Updated this week
- A translation validation framework for MLIR☆87Updated 3 months ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 3 years ago
- Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda☆63Updated this week
- A Python-like programming language for testing and experimenting with concurrent programs.☆23Updated last week
- The VerCors verification toolset for verifying parallel and concurrent software☆76Updated last week
- Website for CS 265☆29Updated 6 months ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Support for for students (Python)☆64Updated last month
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆142Updated 4 years ago
- Definition of the Viper intermediate verification language.☆87Updated this week
- "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"☆19Updated 4 years ago
- minimalistic s-expression based term rewriting framework☆15Updated last month
- Automatic conversion of call by value into call by need in the LLVM IR.☆59Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆73Updated last week
- Cerberus C semantics☆63Updated last week
- ☆21Updated 8 months ago
- embedding MLIR in LEAN☆47Updated last year
- ☆40Updated last year