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
  ☆18Updated 6 months ago
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆59Updated last year
• jplevyak / ifa
  IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…
  ☆12Updated last month
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆41Updated last week
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 2 years ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆223Updated last week
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆47Updated 6 months ago
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆103Updated 4 months ago
• google / jsir
  An MLIR-based JavaScript intermediate representation
  ☆31Updated this week
• Samsung / gcutil
  Garbage collector for Escargot
  ☆14Updated this week
• eschulte / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆69Updated 10 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆148Updated 3 weeks ago
• uniconproject / unicon
  ☆59Updated this week
• 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 …
  ☆16Updated 7 months ago
• NeuralCoder3 / transpilation
  A summary of ideas about transpilation -- work in progress
  ☆21Updated last year
• sillycross / PochiVM
  Lightweight framework for easy and efficient code generation
  ☆100Updated 8 months ago
• ademakov / libjit
  Unofficial libjit mirror.
  ☆62Updated 4 years ago
• MITDDC / clu-1976-1989
  A set of files that can be used to create a working version of an early version of the CLU programming language
  ☆36Updated 2 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆21Updated last year
• vshymanskyy / interp
  Interpreter experiment. Testing dispatch methods: Switching, Direct/Indirect Threaded Code, Tail-Calls and Inlining
  ☆46Updated 4 years ago
• phorward / unicc
  LALR parser generator targetting C, C++, Python, JavaScript, JSON and XML
  ☆63Updated last month
• seahorn / crab
  A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
  ☆239Updated 6 months ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆66Updated last month
• trolando / lace
  Lace - implementation of work-stealing in C
  ☆36Updated last year
• goblint / cil
  C Intermediate Language
  ☆149Updated last week
• redstar / m2lang
  The LLVM-based Modula-2 compiler
  ☆71Updated 3 months ago
• specs-feup / clava
  C/C++ Source-to-Source Tool based on Clang
  ☆76Updated this week
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆52Updated 8 months ago
• theosotr / buildfs
  A dynamic method for detecting faults in incremental and parallel builds.
  ☆17Updated 2 years ago