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
  ☆100Updated 9 months ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated 3 weeks ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆56Updated 2 years ago
• makslevental / mmlir
  A minimal (really) out-of-tree MLIR example
  ☆44Updated 3 weeks ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• riswords / quiche
  ☆22Updated 2 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆74Updated this week
• deepsea-inria / heartbeat
  Prototype implementation of Heartbeat Scheduling, in C++
  ☆18Updated 2 years ago
• IanBriggs / megalibm
  ☆17Updated last year
• harp-lab / gdlog
  ☆82Updated 7 months ago
• OpenCilk / cheetah
  Source for the OpenCilk runtime system, based on Cheetah.
  ☆22Updated this week
• jfbastien / jit-talk
  ☆48Updated 4 years ago
• ssloy / tinyoptimizer
  Can I make an *optimizing* compiler under 1k lines of code?
  ☆58Updated 3 months ago
• jermp / mutable_rank_select
  A SIMD-based C++ library providing rank/select queries over mutable bitmaps.
  ☆35Updated 2 years ago
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆56Updated 2 months ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• vtjnash / libwhich
  Like `which`, for dynamic libraries
  ☆39Updated 5 months ago
• rutgers-apl / rlibm-all
  RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…
  ☆16Updated last year
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated last year
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 4 years ago
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆20Updated 3 months ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆71Updated this week
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆37Updated this week
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆47Updated last week
• nehmeier / libieeep1788
  C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
  ☆47Updated 9 years ago
• shibatch / tlfloat
  C++ template library for floating point operations
  ☆27Updated last month
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆29Updated 11 years ago