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 2 years ago
• lac-dcc / jotai-benchmarks
  Collection of executable benchmarks
  ☆44Updated 2 years ago
• 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 / Nisse
  Ball Larus edge profiling with loop optimization
  ☆32Updated 5 months ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆78Updated last week
• dtcxzyw / llvm-opt-benchmark
  An LLVM IR dataset for data-driven compiler optimization research
  ☆72Updated this week
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆155Updated 3 years ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆50Updated last month
• lac-dcc / Daedalus
  An LLVM pass to compress code by identifying and extracting recurrent program slices.
  ☆31Updated 2 months ago
• lac-dcc / hamsa
  A tool to extract complexities and costs from programs and kernels
  ☆17Updated 2 years ago
• lac-dcc / Benchmarks
  LLVM test suite benchmarks (260 benchmarks - 36 test suites)
  ☆20Updated 3 years ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆31Updated 2 months ago
• optimisan / llvm-mips-backend
  Tutorial for writing an LLVM backend
  ☆28Updated 7 months ago
• lac-dcc / lushu
  System to recognize infinite languages and react to string events
  ☆25Updated 2 years ago
• vaivaswatha / debugir
  DebugIR: Debugging LLVM-IR Files
  ☆145Updated last year
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆58Updated this week
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆43Updated last year
• lac-dcc / Angha
  Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.
  ☆22Updated 2 years ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆68Updated 9 months ago
• jeremy-rifkin / wyrm
  Wyrm is a GCC GIMPLE to LLVM IR transpiler
  ☆57Updated last year
• rimsa / CFGgrind
  A dynamic control flow graph (CFG) reconstruction plugin for valgrind.
  ☆130Updated 4 months ago
• compiler-tree-technologies / cil
  Generates CIL MLIR dialect from C/C++ source.
  ☆34Updated 4 years ago
• pronesto / DCC888
  ☆26Updated 6 months ago
• lifting-bits / gap
  A utility library to bridge llvm and mlir gaps.
  ☆13Updated 11 months ago
• 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…
  ☆60Updated last week
• JWesleySM / Whiro
  ☆22Updated last year
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆106Updated 3 years ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆84Updated last week
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆148Updated 5 years ago
• xlauko / lart
  LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…
  ☆19Updated 2 years ago