Alternatives and similar repositories for jvm-verifier:

Users that are interested in jvm-verifier are comparing it to the libraries listed below

• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆51Updated 11 years ago
• abudnik / tcalc
  C++ compile-time Prolog interpreter
  ☆65Updated 11 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• ExtendJ / ExtendJ
  This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket
  ☆12Updated 2 years ago
• ianopolous / JayD
  An x86 disassembler written in Java (port of udis86)
  ☆13Updated 10 years ago
• ishiura-compiler / CF3
  "CF3" is a C compiler test suite targeting arithmetic optimization.
  ☆37Updated 7 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆51Updated last year
• quan-na / myjit
  clone from myJIT(a fork of GNU lightning)
  ☆10Updated 10 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 7 years ago
• rwl / JLLVM
  A Java version of LLVM Core by Hao Liu
  ☆22Updated 12 years ago
• microvm / microvm-spec
  We have moved: https://gitlab.anu.edu.au/mu/mu-spec
  ☆26Updated 8 years ago
• Dyvil / Dyvil
  The Dyvil programming language
  ☆64Updated last year
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated last month
• smowton / llpe
  ☆51Updated last year
• java-port / clank
  Clank is a Java-port of popular Clang frontend
  ☆38Updated 7 years ago
• stevedekorte / garbagecollector
  Incremental garbage collector library in C for use by high level language implementions.
  ☆110Updated 8 years ago
• smarr / selfopt-interp-performance
  A reporting project on the performance of self-optimizing interpreters
  ☆16Updated 9 years ago
• davidgiven / luje
  a Java virtual machine written in pure Lua
  ☆64Updated 9 years ago
• Hypersonic / bf_symex
  symbolic execution engine for brainfuck because lol
  ☆13Updated 8 years ago
• Sable / jasmin
  ☆95Updated 3 years ago
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆31Updated 9 years ago
• osl / jcute
  Java Concolic Unit Testing Engine
  ☆88Updated 10 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆31Updated 9 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆121Updated 7 years ago
• kerneis / cpc
  Continuation Passing C
  ☆112Updated 5 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• libfirm / bytecode2firm
  Convert Java bytecode to firm IR
  ☆18Updated 8 years ago
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆35Updated 3 weeks ago