Alternatives and similar repositories for radgrad

Users that are interested in radgrad 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
• riswords / quiche
  ☆23Updated 2 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆75Updated this week
• sillycross / PochiVM
  Lightweight framework for easy and efficient code generation
  ☆102Updated last year
• Mogball / declarative-mlir-compiler
  Declarative MLIR compilers in Python!
  ☆35Updated 4 years ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆72Updated this week
• tchajed / futex-tutorial
  ☆13Updated last year
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆43Updated last year
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆44Updated this week
• OpenCilk / cheetah
  Source for the OpenCilk runtime system, based on Cheetah.
  ☆22Updated last month
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆86Updated last week
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆15Updated 3 weeks ago
• makslevental / mmlir
  A minimal (really) out-of-tree MLIR example
  ☆44Updated 2 weeks ago
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated 2 months ago
• rutgers-apl / rlibm
  Rutgers APL correctly rounded math library
  ☆32Updated 4 years ago
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆179Updated 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.
  ☆105Updated 11 months ago
• mwillsey / cs265
  Website for CS 265
  ☆29Updated 8 months ago
• securesystemslab / LLVM-MCA-Daemon
  ☆20Updated 5 months ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆110Updated this week
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆71Updated 3 months ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆40Updated 2 years ago
• unison-code / unison
  Unison's source code
  ☆108Updated last year
• MPACT-ORG / mpact-compiler
  Retargetable ML compilers for the twenty-first century!
  ☆13Updated 4 months ago
• jfbastien / jit-talk
  ☆48Updated 4 years ago
• harp-lab / gdlog
  ☆83Updated 10 months ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago