Alternatives and similar repositories for imop-compiler

Users that are interested in imop-compiler are comparing it to the libraries listed below

• PRAISE-group / Chiron-Framework
  Chiron Framework for PAVT Teaching
  ☆19Updated 4 months ago
• karineek / CsmithEdge
  A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …
  ☆17Updated last month
• lac-dcc / jotai-benchmarks
  Collection of executable benchmarks
  ☆44Updated last year
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆179Updated 2 months ago
• LLNL / dataracebench
  Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.
  ☆69Updated last year
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆75Updated last week
• freeCompilerCamp / freecompilercamp.github.io
  The website for freeCompilerCamp's classroom tutorials, using Github Pages.
  ☆31Updated 3 years ago
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆54Updated 3 months ago
• JWesleySM / Whiro
  ☆21Updated 10 months ago
• lac-dcc / Nisse
  Ball Larus edge profiling with loop optimization
  ☆32Updated last month
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆88Updated 5 months ago
• IITH-Compilers / ML-Compiler-Bridge
  Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations
  ☆18Updated 3 weeks ago
• rutgers-apl / fpsanitizer
  A debugger to detect and diagnose numerical errors in floating point programs
  ☆12Updated 3 years ago
• chunhualiao / freeCompilerCamp
  Goal: a website to automatically train and certify compiler researchers and developers
  ☆10Updated 5 years ago
• llvm / llvm-test-suite
  ☆200Updated last week
• lac-dcc / lif
  A tool to eliminate timing-based side channels
  ☆50Updated 2 years ago
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆44Updated this week
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆142Updated 5 years ago
• nidhugg / nidhugg
  Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…
  ☆83Updated 9 months ago
• appleseedlab / maki
  A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs
  ☆10Updated last week
• rimsa / CFGgrind
  A dynamic control flow graph (CFG) reconstruction plugin for valgrind.
  ☆125Updated last month
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆72Updated last week
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆43Updated last year
• compiler-research / idd
  A System for Differential Debugging
  ☆21Updated 4 months ago
• angelica-moreira / BOLT
  Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries with options for generatin…
  ☆39Updated 2 years ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆42Updated last week
• Geof23 / Gklee
  GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
  ☆38Updated 4 years ago
• lac-dcc / Angha
  Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.
  ☆22Updated 2 years ago
• MPACT-ORG / mpact-compiler
  Retargetable ML compilers for the twenty-first century!
  ☆13Updated 4 months ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆48Updated 6 months ago