Alternatives and similar repositories for Visual2

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

• EarlGray / language-incubator
  Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
  ☆58Updated last year
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆29Updated 4 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆32Updated 5 months ago
• llir / grammar
  EBNF grammar of LLVM IR assembly.
  ☆65Updated 3 years ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆55Updated 4 years ago
• goblint / cil
  C Intermediate Language
  ☆153Updated last month
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆31Updated 4 years ago
• true-grue / python-dsls
  Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023
  ☆21Updated last year
• checkedc / checkedc-llvm-project
  This was a fork of Checked C clang used from 2021-2024. The changes have been merged into the original Checked C clang repo, which is now…
  ☆17Updated last year
• Symbolica / Symbolica
  Symbolica's open-source symbolic execution engine.
  ☆65Updated last year
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆49Updated 3 months ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated last year
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆53Updated 2 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆22Updated 2 years ago
• rochus-keller / Som
  Parser, code model, navigable browser and VM for the SOM Smalltalk dialect
  ☆29Updated 3 years ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆48Updated 2 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• GaloisInc / daedalus
  The Daedalus data description language
  ☆82Updated 7 months ago
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆75Updated 2 years ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆43Updated last year
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆145Updated 5 years ago
• matthewfl / redmagic
  A meta tracing JIT for x86 and interpreters written in C/C++
  ☆36Updated 8 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• bvaugon / ocamlcc
  OCaml bytecode to C compiler
  ☆103Updated 5 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 3 years ago
• binsec / klee21-tina-artifact
  TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…
  ☆29Updated 4 years ago
• ergawy / types-and-programming-languages
  C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
  ☆34Updated 5 years ago