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
• rochus-keller / Som
  Parser, code model, navigable browser and VM for the SOM Smalltalk dialect
  ☆29Updated 3 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 4 months ago
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆31Updated 4 years ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆55Updated 4 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆28Updated 4 years ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• matthewfl / redmagic
  A meta tracing JIT for x86 and interpreters written in C/C++
  ☆36Updated 8 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 3 years ago
• iczelia / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆12Updated 11 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 2 years ago
• SOM-st / som-java
  SOM - Simple Object Machine (plain Java implementation)
  ☆19Updated last month
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆16Updated 14 years ago
• llir / grammar
  EBNF grammar of LLVM IR assembly.
  ☆65Updated 2 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 5 years ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆18Updated 8 years ago
• rochus-keller / EbnfStudio
  EbnfStudio can be used to edit and analyze EBNF grammars.
  ☆84Updated last year
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 3 years ago
• Symbolica / Symbolica
  Symbolica's open-source symbolic execution engine.
  ☆65Updated last year
• goblint / cil
  C Intermediate Language
  ☆154Updated 2 weeks ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆18Updated 4 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆31Updated 6 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated last year
• funemy / SWORD
  SWORD: A Whole Program Race Detector for Java
  ☆13Updated 4 years ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆48Updated last year
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆68Updated last week