Alternatives and similar repositories for OpenTxl:

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

• CordyJ / Open-NiCad
  NiCad Clone Detector
  ☆15Updated 5 months ago
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆58Updated last year
• dibyendumajumdar / nj
  A cross platform JIT engine based on Eclipse OMR
  ☆27Updated 5 years ago
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆167Updated 4 years ago
• zero9178 / cld
  A C99 compliant compiler
  ☆18Updated 3 years ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆61Updated this week
• gpoo / ccfinderx
  CCFinderX with autotools support
  ☆55Updated 8 years ago
• jplevyak / ifa
  IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…
  ☆12Updated 2 weeks ago
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆103Updated 3 months ago
• SSW-CocoR / CocoR-CPP
  Coco/R for C++
  ☆28Updated 2 years ago
• alx71hub / hcb
  Hyperlinked C++ BNF Grammar
  ☆41Updated 3 years ago
• ademakov / libjit
  Unofficial libjit mirror.
  ☆61Updated 4 years ago
• DeadCodeProductions / dead
  ☆51Updated last year
• 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 …
  ☆15Updated 6 months ago
• ExtendJ / ExtendJ
  This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket
  ☆12Updated 2 years ago
• google / jsir
  An MLIR-based JavaScript intermediate representation
  ☆27Updated last month
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆140Updated last month
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆26Updated 2 years ago
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆29Updated 11 years ago
• compiler-explorer / compiler-workflows
  Workflows to build daily and ad hoc compilers for Compiler Explorer
  ☆18Updated 2 months ago
• appleseedlab / superc
  The SuperC Parsing Framework
  ☆32Updated 11 months ago
• mthom / on-the-fly-gc
  Concurrent mark-sweep garbage collector for accurate garbage collection of language runtimes in C++ 1x.
  ☆36Updated 8 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated 2 weeks ago
• sillycross / PochiVM
  Lightweight framework for easy and efficient code generation
  ☆100Updated 7 months ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆222Updated this week
• Esvandiary / DynASM
  DynASM - a Dynamic Assembler for code generation engines
  ☆23Updated 4 years ago
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆21Updated last year
• theosotr / buildfs
  A dynamic method for detecting faults in incremental and parallel builds.
  ☆17Updated 2 years ago
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆39Updated 2 weeks ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆38Updated last year