joewhaley / joeq

Related projects ⓘ

Alternatives and complementary repositories for joeq

• SOM-st / som-java
  SOM - Simple Object Machine (plain Java implementation)
  ☆18Updated 5 months ago
• rain-1 / tarot-compiler
  ☆17Updated 5 years ago
• libfirm / bytecode2firm
  Convert Java bytecode to firm IR
  ☆18Updated 7 years ago
• munificent / bulfinch
  Just a little toy language to learn about register-based VMs.
  ☆20Updated 12 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 2 years ago
• rochus-keller / Som
  Parser, code model, navigable browser and VM for the SOM Smalltalk dialect
  ☆25Updated 2 years ago
• ianopolous / JayD
  An x86 disassembler written in Java (port of udis86)
  ☆13Updated 9 years ago
• smarr / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆12Updated this week
• Whiley / WhileyTheoremProver
  The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated b…
  ☆8Updated 3 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆12Updated last month
• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 8 years ago
• SRI-CSL / OCCAM
  OCCAM: Object Culling and Concretization for Assurance Maximization
  ☆26Updated last year
• slburson / fset-java
  Java implementation of the FSet functional collections library.
  ☆10Updated 8 years ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆15Updated 13 years ago
• smarr / SOM
  SOM - Simple Object Machine
  ☆22Updated 3 months ago
• imp-language / imp
  Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.
  ☆12Updated 2 years ago
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• MatzeB / fluffy
  The fluffy programming language main repository
  ☆24Updated 11 years ago
• aryx / yacfe
  Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…
  ☆25Updated 6 years ago
• andrewchambers / qc
  quick c
  ☆34Updated 2 years ago
• valpackett / neojamvm
  JamVM (lightweight Java Virtual Machine) but built with CMake
  ☆24Updated 8 months ago
• false-schemers / siof
  SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme
  ☆13Updated 2 years ago
• kragen / urscheme
  ☆21Updated 11 years ago
• kavon / llvm-statepoint-utils
  Runtime support for LLVM's GC Statepoints
  ☆42Updated 4 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆26Updated 5 months ago
• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆15Updated 5 years ago
• stuhlmueller / scheme-transforms
  Continuation-passing style and closure conversion transforms for r6rs scheme.
  ☆12Updated 13 years ago
• edvb / tisp
  Tiny lisp, simple and embeddable scheme-like language
  ☆26Updated 11 months ago
• arichel / PicoScheme
  Tiny scheme implementation written in c++17
  ☆26Updated 5 years ago
• ademakov / libjit
  Unofficial libjit mirror.
  ☆57Updated 4 years ago