A browser automation framework and ecosystem.

FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.

GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

An extensible multilanguage static code analyzer.

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

TornadoVM: A practical and efficient heterogeneous programming framework for managed languages

A set of utilities designed for incremental building, merging and optimization of data transformations.

Gameboy emulator in Java 8.

Pluggable type-checking for Java

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…

The Arend Proof Assistant

A high-performance implementation of the R programming language, built on GraalVM.

Code Repository associated with "Algorithms In A Nutshell", 2ed, published by O'Reilly Media, Inc. http://shop.oreilly.com/product/0636920032885.do

Are We Fast Yet? Comparing Language Implementations with Objects, Closures, and Arrays

The DaCapo benchmark suite

Spoofax runtime

Library for symbolic automata and symbolic visibly pushdown automata

Alloy with browser-based visualizations

DEPRECATED

Tool Support for Correctness-by-Construction

Java bytecode generator for sound and precise partial program analysis

Prototype for a SPIR-V assembler and dissasembler. It provides a composable Java interface for generating SPIR-V code at runtime.

An extension of the Kodkod relational model finder

A library for serializing/deserializing, hashing, and comparing arbitrary objects