High Performance Inter-Thread Messaging Library

Official repository of Trino, the distributed SQL query engine for big data, formerly known as PrestoSQL (https://trino.io)

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

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

An open source clone of Amazon's Dynamo.

Bind a java thread to a given core

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…

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.