Alternatives and similar repositories for radgrad

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

• sillycross / PochiVM
  Lightweight framework for easy and efficient code generation
  ☆104Updated last year
• riswords / quiche
  ☆24Updated 2 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 3 years ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆84Updated this week
• jhellerstein / arugula
  a small C++ lattice library
  ☆15Updated 5 years ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆26Updated last year
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆22Updated 2 years ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆119Updated 2 months ago
• compiler-research / CppInterOp
  A Clang-based C++ Interoperability Library
  ☆86Updated this week
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆72Updated 6 months ago
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆186Updated 3 weeks ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• jfbastien / jit-talk
  ☆48Updated 5 years ago
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆47Updated this week
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆90Updated this week
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆58Updated this week
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆13Updated last year
• securesystemslab / LLVM-MCA-Daemon
  ☆22Updated 9 months ago
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆112Updated 4 months ago
• Mogball / declarative-mlir-compiler
  Declarative MLIR compilers in Python!
  ☆35Updated 5 years ago
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated 5 months ago
• harp-lab / gdlog
  ☆87Updated last year
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆58Updated 2 months ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆106Updated last year
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆61Updated 2 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆29Updated 4 years ago
• j2kun / mlir-resources
  A list of articles outside of the official MLIR docs that I've found useful for learning MLIR
  ☆11Updated 2 years ago
• MPACT-ORG / mpact-compiler
  Retargetable ML compilers for the twenty-first century!
  ☆13Updated 7 months ago
• tchajed / futex-tutorial
  ☆17Updated last year
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆38Updated 12 years ago