Alternatives and similar repositories for misc-builder

Users that are interested in misc-builder are comparing it to the libraries listed below

• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• messer-cpp / messer
  REPL for C preprocessor of C++17
  ☆10Updated last year
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆68Updated this week
• pornin / cycle-counter
  ☆23Updated 6 months ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆20Updated last week
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated last year
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated last month
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated last week
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated 8 months ago
• simmsb / some-scheme-compiler
  A CPS transforming scheme compiler, Cheney on the MTA, etc
  ☆14Updated 4 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated last month
• JonesBeach / memphis
  A ridiculous Python interpreter written—from scratch—in Rust.
  ☆21Updated last week
• rurban / libu8ident
  unicode security guidelines for identifiers
  ☆25Updated 6 months ago
• Inria-Prosecco / StarMalloc
  A verified, modern, hardened memory allocator. [maintainer=@cmovcc]
  ☆27Updated 2 months ago
• ocaml-multicore / uring-trace
  Visualization tool for your IO-uring workload
  ☆17Updated 10 months ago
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆44Updated 2 weeks ago
• compiler-explorer / compiler-workflows
  Workflows to build daily and ad hoc compilers for Compiler Explorer
  ☆20Updated last week
• tjammer / schmu
  programming with second class references
  ☆24Updated last week
• ehwan / RustyLR
  RustyLR is a parser generator that converts context-free grammars into IELR(1)/LALR(1) tables with deterministic LR and GLR parsing strat…
  ☆19Updated this week
• chrisroman / coc
  Calculus of Constructions Implementation
  ☆15Updated 5 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆38Updated last year
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆16Updated 2 months ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆26Updated 2 years ago
• SchrodingerZhu / rura
  RUst way for Reuse Analysis
  ☆11Updated last year
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆10Updated 5 years ago
• zwegner / Miroslav
  A proof-of-concept for a fast regex matcher using lossy NFA matching on SIMD
  ☆12Updated 6 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated last year
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆44Updated last month