Alternatives and similar repositories for joeq

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

• llir / grammar
  EBNF grammar of LLVM IR assembly.
  ☆65Updated 3 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
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 9 years ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆16Updated 14 years ago
• huangguiyang / burg
  Bottom Up Rewrite Generator
  ☆29Updated 8 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆32Updated 6 months ago
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆52Updated 11 years ago
• eregon / virtual-machines-research-graph
  A Virtual Machine Research Overview as a Graph
  ☆25Updated 4 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
• 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
• doublec / nanojit
  Fork of Adobe/Mozilla lightweight library for generating machine code from C++
  ☆35Updated 15 years ago
• slebok / zoo
  Grammar Zoo
  ☆96Updated 6 years ago
• jserv / jamvm
  JamVM 2 + OpenJDK
  ☆28Updated last year
• mflatt / jit-demo
  ☆65Updated 9 years ago
• b9org / b9
  An educational JS virtual machine based on Eclipse OMR
  ☆45Updated 2 years ago
• dibyendumajumdar / nj
  A cross platform JIT engine based on Eclipse OMR
  ☆27Updated 6 years ago
• drh / iburg
  A Tree Parser Generator
  ☆101Updated last year
• davidgiven / luje
  a Java virtual machine written in pure Lua
  ☆72Updated 9 years ago
• raphael-proust / cps-ssa
  Experiments about intermediate representations in compilers
  ☆28Updated 13 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆31Updated 6 years ago
• smarr / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆13Updated 2 months ago
• stevedekorte / garbagecollector
  Incremental garbage collector library in C for use by high level language implementions.
  ☆110Updated 9 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
• MatzeB / fluffy
  The fluffy programming language main repository
  ☆25Updated 12 years ago
• talksmall / Strongtalk
  Strongtalk VM
  ☆103Updated 4 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated last week
• tomatsu / squawk
  An experimental project to customize squawk virtual machine for microcontrollers. Users can write embedded application programs in Java …
  ☆58Updated 7 years ago