Alternatives and similar repositories for radgrad:

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

• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆29Updated 11 years ago
• sillycross / PochiVM
  Lightweight framework for easy and efficient code generation
  ☆100Updated 6 months ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆12Updated this week
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆58Updated this week
• makslevental / mmlir
  A minimal (really) out-of-tree MLIR example
  ☆37Updated last month
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆22Updated 4 months ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• ChenhanYu / rnn
  General Stride K-Nearest Neighbors
  ☆13Updated 3 years ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆100Updated 6 months ago
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆55Updated 11 months ago
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆32Updated this week
• luhsra / chash
  CLang Plugin for calculating AST hashes
  ☆15Updated 6 years ago
• mc-imperial / dredd
  A mutation testing tool designed to work with large C++ (and C) codebases.
  ☆13Updated last week
• Mogball / declarative-mlir-compiler
  Declarative MLIR compilers in Python!
  ☆33Updated 4 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• Etaphase / FastSigmoids.jl
  Sigmoid Numbers backed by IEEE Floats
  ☆16Updated 7 years ago
• trolando / lace
  Lace - implementation of work-stealing in C
  ☆35Updated 10 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• pmntang / SIMDGiraffe
  Visualize SIMD instructions
  ☆34Updated last year
• laithsakka / Grafter
  TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.
  ☆10Updated last year
• freeCompilerCamp / freecompilercamp.github.io
  The website for freeCompilerCamp's classroom tutorials, using Github Pages.
  ☆32Updated 3 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 years ago
• drepper / optmark
  Markup source code showing optimizations
  ☆36Updated 5 years ago
• jhellerstein / arugula
  a small C++ lattice library
  ☆15Updated 5 years ago
• jfbastien / jit-talk
  ☆47Updated 4 years ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆22Updated this week
• nadavrot / fast_log
  A fast implementation of log() and exp()
  ☆51Updated 2 years ago
• SNSystems / dexter
  DExTer - Debug Experience Tester
  ☆33Updated 3 years ago
• kristerw / deadstores
  A Valgrind tool for finding redundant loads/stores
  ☆21Updated 5 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆103Updated 5 months ago