Alternatives and similar repositories for jvm-verifier:

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

• smarr / selfopt-interp-performance
  A reporting project on the performance of self-optimizing interpreters
  ☆16Updated 9 years ago
• ianopolous / JayD
  An x86 disassembler written in Java (port of udis86)
  ☆13Updated 10 years ago
• 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
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 5 years ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆33Updated last month
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 8 years ago
• Dyvil / Dyvil
  The Dyvil programming language
  ☆64Updated last year
• libfirm / bytecode2firm
  Convert Java bytecode to firm IR
  ☆18Updated 7 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 8 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆50Updated 9 months ago
• ishiura-compiler / CF3
  "CF3" is a C compiler test suite targeting arithmetic optimization.
  ☆37Updated 7 years ago
• penberg / hornet
  Hornet, a JVM optimized for low-latency applications.
  ☆53Updated 9 years ago
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆51Updated 10 years ago
• ceylon / ceylon-model
  DEPRECATED
  ☆12Updated 9 years ago
• osl / jcute
  Java Concolic Unit Testing Engine
  ☆88Updated 10 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 7 years ago
• dvx / jssembly
  Jssembly is a library that allows you to execute native assembly from Java.
  ☆125Updated 7 years ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 8 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…
  ☆29Updated 9 years ago
• vellvm / vellvm-legacy
  ☆33Updated 9 years ago
• ishiura-compiler / Orange3
  pre-release.
  ☆12Updated 9 years ago
• MontysCoconut / moco
  The Monty to LLVM compiler
  ☆10Updated 7 years ago
• Whiley / Jasm
  Assembler / Disassembler for Java Bytecode
  ☆23Updated 3 years ago
• smowton / llpe
  ☆49Updated 10 months ago
• tombousso / sJava
  Java dialect using S-expressions
  ☆31Updated 6 years ago
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆109Updated 3 years ago
• plasma-umass / DoubleTake
  Evidence-based dynamic analysis: a fast checker for memory errors.
  ☆21Updated 7 years ago
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆85Updated last year
• richardstartin / perfasm-visualiser
  ☆14Updated 6 years ago