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 2 years ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆54Updated 4 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 3 months ago
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆30Updated 3 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆64Updated last year
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆15Updated 2 years ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆18Updated 4 years ago
• matthewfl / redmagic
  A meta tracing JIT for x86 and interpreters written in C/C++
  ☆36Updated 8 years ago
• rusini / manool-2
  Compiler Optimizations Playground
  ☆27Updated 4 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆12Updated 11 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆27Updated 4 years ago
• llir / grammar
  EBNF grammar of LLVM IR assembly.
  ☆66Updated 2 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• Xe / minicompiler
  An implementation of Terry Davis' minicompiler in Rust targeting WebAssembly
  ☆33Updated 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
• graydon / exhaustigen
  ☆11Updated 3 years ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 years ago
• mcy / alkyne
  ☆23Updated 3 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• glyh / awesome-pl-concepts
  An menu/quick reference for Programming Language concepts
  ☆20Updated last year
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 2 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆68Updated last year
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆15Updated 9 years ago
• pchapin / augusta
  A compiler for an Ada-like language
  ☆33Updated 2 months ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated 10 months ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆53Updated 5 years ago
• woodrush / lambdavm
  A programmable virtual CPU written in untyped lambda calculus
  ☆55Updated 2 years ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆16Updated 14 years ago
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆63Updated this week