High Performance Inter-Thread Messaging Library

Efficient reliable UDP unicast, UDP multicast, and IPC message transport

Awaitility is a small Java DSL for synchronizing asynchronous operations

A production-grade java implementation of RAFT consensus algorithm.

Micro second messaging that stores everything to disk

High Performance data structures and utility methods for Java

An open source clone of Amazon's Dynamo.

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

Bind a java thread to a given core

Open source Java implementation for Raft consensus protocol.

Raft Java implementation which is simple and easy to understand.

Pluggable type-checking for Java

An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.

ActiveJ is an alternative Java platform built from the ground up. ActiveJ redefines core, web and high-load programming in Java, providing simplicity, maximum performance and scalability

NoSQL embedded document store for Java

this is raft java project. raft-kv-storage

A Simple showcase for the Sea-of-Nodes compiler IR

The Arend Proof Assistant

Low level access to native memory, JVM and OS.

https://openjdk.org/projects/code-tools/jcstress

A proof assistant and a dependently-typed language

Artio - Resilient High-Performance FIX and FIXP Gateway

Apache Ignite 3

The Ultimate program analysis framework.

JavaSMT - Unified Java API for SMT solvers.

https://openjdk.org/projects/crac

The official repo of Doop, the declarative pointer analysis framework.

The DaCapo benchmark suite

The main development version of the PRISM model checker.

Hello eBPF world! Hello Java world! Let's discover eBPF together and write Java user-land library along the way.