Alternatives and similar repositories for wyvern

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

• lac-dcc / lif
  A tool to eliminate timing-based side channels
  ☆50Updated 3 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆79Updated last week
• lac-dcc / yali
  A framework to analyze a space formed by the combination of program encodings, obfuscation passes and stochastic classification models.
  ☆35Updated 2 years ago
• lac-dcc / jotai-benchmarks
  Collection of executable benchmarks
  ☆44Updated 2 years ago
• lac-dcc / Daedalus
  An LLVM pass to compress code by identifying and extracting recurrent program slices.
  ☆31Updated 3 months ago
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆155Updated 3 years ago
• dtcxzyw / llvm-opt-benchmark
  An LLVM IR dataset for data-driven compiler optimization research
  ☆75Updated this week
• lac-dcc / Nisse
  Ball Larus edge profiling with loop optimization
  ☆32Updated 6 months ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆41Updated 2 weeks ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆50Updated 2 months ago
• lifting-bits / gap
  A utility library to bridge llvm and mlir gaps.
  ☆13Updated last year
• lac-dcc / Benchmarks
  LLVM test suite benchmarks (260 benchmarks - 36 test suites)
  ☆20Updated 4 years ago
• lac-dcc / hamsa
  A tool to extract complexities and costs from programs and kernels
  ☆17Updated 2 years ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆107Updated 3 years ago
• vaivaswatha / debugir
  DebugIR: Debugging LLVM-IR Files
  ☆145Updated last year
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆89Updated this week
• jeremy-rifkin / wyrm
  Wyrm is a GCC GIMPLE to LLVM IR transpiler
  ☆57Updated 2 years ago
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆66Updated last week
• AmrDeveloper / LLQL
  LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…
  ☆64Updated this week
• pronesto / DCC888
  ☆29Updated 7 months ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆68Updated 11 months ago
• lac-dcc / lushu
  System to recognize infinite languages and react to string events
  ☆25Updated 2 years ago
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆54Updated 2 years ago
• optimisan / llvm-mips-backend
  Tutorial for writing an LLVM backend
  ☆30Updated 8 months ago
• lac-dcc / Angha
  Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.
  ☆22Updated 2 years ago
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆85Updated last week
• rimsa / CFGgrind
  A dynamic control flow graph (CFG) reconstruction plugin for valgrind.
  ☆130Updated last week
• phate / jlm
  A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation
  ☆75Updated 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-tree-technologies / cil
  Generates CIL MLIR dialect from C/C++ source.
  ☆34Updated 4 years ago