Alternatives and similar repositories for joeq

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

• rochus-keller / Som
  Parser, code model, navigable browser and VM for the SOM Smalltalk dialect
  ☆29Updated 3 years ago
• SOM-st / som-java
  SOM - Simple Object Machine (plain Java implementation)
  ☆19Updated 2 months ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• MParygin / class2ir
  Java Byte Code 2 LLVM IR
  ☆15Updated 10 years ago
• llir / grammar
  EBNF grammar of LLVM IR assembly.
  ☆65Updated 2 years ago
• huangguiyang / burg
  Bottom Up Rewrite Generator
  ☆29Updated 8 years ago
• EarlGray / language-incubator
  Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
  ☆58Updated last year
• JianpingZeng / xcc-project
  The C/C++/Fortran compiler collection written in Java
  ☆36Updated 4 years ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆16Updated 14 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
• dibyendumajumdar / nj
  A cross platform JIT engine based on Eclipse OMR
  ☆27Updated 5 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆32Updated 5 months ago
• Albus-Tan / TigerCompiler
  A compiler for Tiger language includes lexical analysis using flexc++, parsing using Bisonc++, type checking, building abstract syntax tr…
  ☆13Updated 2 years ago
• doublec / nanojit
  Fork of Adobe/Mozilla lightweight library for generating machine code from C++
  ☆35Updated 15 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆27Updated 2 months ago
• Whiley / Jasm
  Assembler / Disassembler for Java Bytecode
  ☆23Updated 4 years ago
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆52Updated 11 years ago
• slebok / zoo
  Grammar Zoo
  ☆95Updated 6 years ago
• davidgiven / luje
  a Java virtual machine written in pure Lua
  ☆72Updated 9 years ago
• lucasallan / LuaTruffle
  LuaTruffle, an implementation of Lua on the JVM using Truffle
  ☆57Updated 10 years ago
• drh / iburg
  A Tree Parser Generator
  ☆101Updated last year
• rain-1 / tarot-compiler
  ☆18Updated 6 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆31Updated 6 years ago
• melvinzhang / bit-scheme
  BIT: A Very Compact Scheme System for Microcontrollers
  ☆43Updated 9 years ago
• MatzeB / fluffy
  The fluffy programming language main repository
  ☆25Updated 12 years ago
• andrakis / c4-lisp
  Experiments on the self-hosting c4 compiler, with the goal to implement a nicer Lisp-style virtual machine
  ☆15Updated 5 years ago
• ademakov / libjit
  Unofficial libjit mirror.
  ☆62Updated 5 years ago
• Kimplul / copyjit
  Attempt at creating an architecture agnostic jit library, heavily inspired by copy-and-patch.
  ☆17Updated last year
• mpu / lambda
  A small λ-calculus interpreter in C
  ☆57Updated 11 years ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆79Updated 4 years ago