JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
Repository Index
47,133 repositories indexed
49–72 of 90 · Most stars
A lightweight Lua VM for the browser
Idris on the JVM
- idris
- jvm
- java
Cross platform .NET bindings for Vulkan, VMA, SPIRV-Cross and shaderc
- vulkan
- netstandard
- csharp
- dotnet
A fast object pool for the JVM
- java
- concurrency
- pool
- tdd
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
SquirrelJME is a Java ME 8 Virtual Machine for embedded and Internet of Things devices. It has the ultimate goal of being 99.9% compatible with the Java ME standard.
- squirreljme
- java
- java-me
- iot
Static ARM64 to x86 recompiler (GPLv3)
- arm64
- hle
- recompiler
- aarch64
A GTK / Fortran binding, and its documentation (in the Wiki tab).
Ruby language bindings for LIBSVM
- libsvm
- ruby-bindings
- ruby
- ruby-language-bindings
The GPars concurrency and parallelism framework for the JVM
A Low-Latency, High Performance and Extensible WebAssembly Backend Library
Generate Erlang VM byte code from Haskell
- beam
- erlang
- elixir
- compiler
Automatically exported from code.google.com/p/llvm-lua
Get inside your JVM
- jvm
- java
- monitoring
- repl
A realtime visual programming language for interactive media.
User-oriented fork of LLVM's opt-viewer
Gentee - script programming language for automation. It uses VM and compiler written in Go (Golang).
- scripting-language
- automation
- programming-language
- compiler
Fast, safe, complete libvips bindings for image processing in Java / JVM projects
- ffm
- image-processing
- java
- libvips
Lowest barrier of entry to Image Processing, Computer Vision and Neural Networks on the JavaVM
- clojure
- computer-vision
- kotlin
- opencv
A lisp compiler for the AVM2.
Ada WASM Runtime and Bindings for Web API
- wasm
- gnat-llvm
- ada-runtime
- ada-wasm-runtime
This is the Ruby interface to LIBLINEAR (much more efficient than LIBSVM for text classification and other large linear classifications)
Idris LLVM codegen factored out