pron

amazon-snapshot-spec

TLA+ and Alloy specs of database isolation

pron.github.io

awesome-java

A curated list of awesome Java frameworks, libraries and software.

jvm-mechanics

Presentation & Code Samples Showing Compilation & Deoptimization Behavior of HotSpot

wildfire-challenge

The Wildfire Verification Challenge Problem

s2-geometry-library-java

Automatically exported from code.google.com/p/s2-geometry-library-java

capsule-jruby

JRuby Capsule

dropwizard-comsat-example

ewd998

Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF

jdk

JDK main-line development

jdk19

JDK 19 development

jdk20

https://openjdk.org/projects/jdk/20

jncss-capsule

jnr-ffi

Java Abstracted Foreign Function Layer

jnr-fuse

FUSE implementation in Java using Java Native Runtime (JNR)

kryo

Java serialization and cloning: fast, efficient, automatic

lets-prove-leftpad

Proving leftpad correct in a dozen different ways

loom

https://openjdk.java.net/projects/loom/

njinterface

JInterface replacement based on Scalang

quasar-skynet

sysman

Remote multi-shell

tlaplus

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

visage-compiler

Visage Compiler