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
  ☆75Updated this week
• rise-lang / shine
  The Shine compiler for the RISE language
  ☆84Updated this week
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆81Updated last month
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated last year
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆30Updated 6 months ago
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆178Updated this week
• nimrodpar / ProgramAnalysisGlossary
  "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"
  ☆19Updated 4 years ago
• wkolowski / Type-Theory-Wishlist
  Personal research notes
  ☆17Updated 11 months ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆62Updated last week
• rems-project / cerberus
  Cerberus C semantics
  ☆69Updated last month
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆55Updated this week
• logsem / clutch
  Probabilistic separation logics for verifying higher-order probabilistic programs.
  ☆27Updated this week
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆89Updated this week
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆38Updated last year
• mlochbaum / Singeli
  High-level interface for low-level programming
  ☆119Updated last month
• IntelLabs / asl-interpreter
  Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)
  ☆24Updated 2 weeks ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆28Updated 5 months ago
• rems-project / cn
  CN separation logic refinement type system for C
  ☆34Updated this week
• phate / jlm
  ☆69Updated this week
• caviar-trs / caviar
  Implementing Halide's TRS inside of EGG
  ☆32Updated 2 years ago
• dannypsnl / racket-llvm
  racket llvm C-API bindings
  ☆18Updated 2 months ago
• riswords / quiche
  ☆24Updated 2 years ago
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆59Updated last week
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆78Updated this week
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated this week
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆71Updated 3 months ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆37Updated 3 months ago
• rhyme-lang / rhyme
  Rhyme is an Expressive Data-Centric Query Language
  ☆30Updated this week