Alternatives and similar repositories for BenchGen

Users that are interested in BenchGen are comparing it to the libraries listed below

• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆78Updated this week
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆34Updated 2 years ago
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆186Updated this week
• rise-lang / shine
  The Shine compiler for the RISE language
  ☆83Updated this week
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆249Updated last week
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆30Updated 6 months ago
• wkolowski / Type-Theory-Wishlist
  Personal research notes
  ☆17Updated last year
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆28Updated 3 weeks ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆48Updated last year
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆82Updated 2 months ago
• taolson / Admiran
  Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆81Updated last week
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• ChezJrk / verified-scheduling
  ☆42Updated last year
• rhyme-lang / rhyme
  Rhyme is an Expressive Data-Centric Query Language
  ☆31Updated this week
• cucapra / diospyros
  Search-based compiler for high-performance DSP programming
  ☆69Updated 11 months ago
• caviar-trs / caviar
  Implementing Halide's TRS inside of EGG
  ☆32Updated 2 years ago
• fir-lang / fir
  Fir programming language
  ☆80Updated this week
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated last week
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆61Updated last week
• rems-project / cerberus
  Cerberus C semantics
  ☆71Updated 2 months ago
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆55Updated last week
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆140Updated this week
• mwillsey / cs265
  Website for CS 265
  ☆30Updated 9 months ago
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆35Updated last year
• lac-dcc / sepe
  Synthesis of Optimized Hash Functions
  ☆52Updated 10 months ago
• verse-lab / ego
  EGraphs in OCaml
  ☆75Updated last year
• mlochbaum / Singeli
  High-level interface for low-level programming
  ☆119Updated 2 months ago
• riswords / quiche
  ☆24Updated 2 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆38Updated last year