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
  ☆14Updated 4 months ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆12Updated this week
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆57Updated last year
• google / jsir
  An MLIR-based JavaScript intermediate representation
  ☆24Updated 2 weeks ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆28Updated 7 months ago
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆22Updated 4 months ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• julianjensen / dominators
  Various dominator tree algorithms
  ☆22Updated 4 years ago
• wangbo15 / accmut
  Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.
  ☆11Updated 7 years ago
• pfalcon / awesome-virtual-machines
  Awesome Virtual Machines (VMs) and Language Runtimes (awesome from Computer Science perspective)
  ☆16Updated 4 years ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆220Updated last week
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆102Updated 2 months ago
• ajwijs / GPUexplore
  GPU model checker
  ☆11Updated 5 years ago
• NeuralCoder3 / transpilation
  A summary of ideas about transpilation -- work in progress
  ☆19Updated last year
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆20Updated last year
• GPUOpen-Drivers / llvm-dialects
  LLVM Dialects Library
  ☆22Updated this week
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆157Updated 2 years ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆51Updated 2 months ago
• zero9178 / cld
  A C99 compliant compiler
  ☆18Updated 3 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 2 years ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆139Updated 3 weeks ago
• compiler-explorer / compiler-workflows
  Workflows to build daily and ad hoc compilers for Compiler Explorer
  ☆18Updated 3 weeks ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆93Updated 3 years ago
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆138Updated 4 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆26Updated 2 years ago
• 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 this week
• alx71hub / hcb
  Hyperlinked C++ BNF Grammar
  ☆41Updated 3 years ago
• srg-imperial / klee-float
  KLEE with floating point support (unmaintained)
  ☆18Updated 3 years ago
• Amocy-Wang / ProbDD
  Here is the replication of the paper Probabilistic Delta Debugging, which has been accepted by ESEC/FSE 2021. More details can be found i…
  ☆15Updated 3 years ago