Alternatives and similar repositories for radgrad:

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

• makslevental / mmlir
  A minimal (really) out-of-tree MLIR example
  ☆43Updated 3 weeks ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆26Updated this week
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated 2 weeks ago
• Mogball / declarative-mlir-compiler
  Declarative MLIR compilers in Python!
  ☆33Updated 4 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated 2 weeks ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• sillycross / PochiVM
  Lightweight framework for easy and efficient code generation
  ☆100Updated 7 months ago
• mc-imperial / dredd
  A mutation testing tool designed to work with large C++ (and C) codebases.
  ☆13Updated last month
• michalpaszkowski / LLVM-Canon
  LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…
  ☆14Updated 10 months ago
• ChenhanYu / rnn
  General Stride K-Nearest Neighbors
  ☆13Updated 3 years ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆61Updated this week
• jermp / mutable_rank_select
  A SIMD-based C++ library providing rank/select queries over mutable bitmaps.
  ☆35Updated 2 years ago
• tchajed / futex-tutorial
  ☆9Updated 7 months ago
• nadavrot / fast_log
  A fast implementation of log() and exp()
  ☆53Updated 2 years ago
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆30Updated this week
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆70Updated 8 months ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 years ago
• laithsakka / Grafter
  TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.
  ☆10Updated last year
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆103Updated 7 months ago
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆33Updated this week
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆39Updated 3 weeks ago
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆55Updated 2 weeks ago
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆49Updated last week
• drepper / optmark
  Markup source code showing optimizations
  ☆36Updated 5 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• OpenCilk / cheetah
  Source for the OpenCilk runtime system, based on Cheetah.
  ☆21Updated last week
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 4 years ago
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆166Updated last week
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆29Updated 11 years ago