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
  ☆52Updated 11 years ago
• Sable / jasmin
  ☆97Updated 3 years ago
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆113Updated 3 years ago
• smarr / selfopt-interp-performance
  A reporting project on the performance of self-optimizing interpreters
  ☆16Updated 9 years ago
• jnr / jnr-x86asm
  Pure java x86 and x86_64 assembler
  ☆68Updated 2 years ago
• java-port / clank
  Clank is a Java-port of popular Clang frontend
  ☆38Updated 7 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆52Updated 2 months ago
• jfager / jdiscript
  A simple scripting frontend for the Java Debugger Interface
  ☆58Updated 5 years ago
• davidar / jasmin
  Jasmin is an assembler for the Java Virtual Machine ⛺
  ☆196Updated 2 years ago
• themaplelab / averroes
  Java bytecode generator for sound and precise partial program analysis
  ☆24Updated 4 years ago
• sgodbillon / BytecodeParser
  A Java library to parse JVM bytecode, simulate the stack and extract as much information as possible
  ☆42Updated 11 years ago
• Whiley / Jasm
  Assembler / Disassembler for Java Bytecode
  ☆23Updated 4 years ago
• Dyvil / Dyvil
  The Dyvil programming language
  ☆64Updated last year
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆30Updated 9 years ago
• davidar / lljvm
  Low Level Java Virtual Machine
  ☆493Updated 7 years ago
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆88Updated last year
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆223Updated 2 years ago
• rwl / llvm-j
  Java bindings for LLVM libraries
  ☆31Updated 12 years ago
• ishiura-compiler / Orange3
  pre-release.
  ☆12Updated 10 years ago
• MiniJavaCompiler / MiniJavaLLVM
  MiniJava x86, LLVM Compiler and Interpreter
  ☆74Updated 9 years ago
• richardstartin / perfasm-visualiser
  ☆14Updated 6 years ago
• cesquivias / mumbler
  My experimental programming language using Truffle
  ☆112Updated 5 years ago
• microvm / microvm-spec
  We have moved: https://gitlab.anu.edu.au/mu/mu-spec
  ☆26Updated 9 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆220Updated 2 years ago
• dvx / jssembly
  Jssembly is a library that allows you to execute native assembly from Java.
  ☆127Updated 8 years ago
• jatovm / jato
  Jato, an open source implementation of the JVM
  ☆157Updated 11 years ago
• msteindorfer / research-paper-oopsla15-artifact
  Artifact accompanying our OOPSLA'15 publication.
  ☆33Updated 2 years ago
• ianopolous / JayD
  An x86 disassembler written in Java (port of udis86)
  ☆13Updated 10 years ago
• SableCC / sablecc
  SableCC
  ☆151Updated last year
• pavelfatin / toyide
  Modern IDE plus custom programming languages with interpreters and compilers
  ☆66Updated 7 years ago