Conductor is an event driven agentic orchestration platform providing durable and highly resilient execution engine for applications and AI Agents

Zipkin is a distributed tracing system

Zotero plugin to manage your attachments: automatically rename, move, and attach PDFs (or other files) to Zotero items, sync PDFs from your Zotero library to your (mobile) PDF reader (e.g. an iPad,…

A better compressed bitset in Java: used by Apache Spark, Netflix Atlas, Apache Pinot, Tablesaw, and many others

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

DEPRECATED, Please migrate to latest version of gl-react-native that works nicely with expo-gl and unimodules

Lightweight threads for Java, with message passing, nio, http and scheduling support.

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…

An Extensible Request/Response Workbench

functional, durable data structures

The Arend Proof Assistant

Universal Resolver implementation and drivers.

A cache-coherent in-memory data grid

Functional programming language for JVM.

The K tools (deprecated, see README)

Very basic Android browser application that uses the GeckoView widget

Programmer De-anonymization from Binary Executables

Java implementations of sequences in the OEIS

a library for constructing geometric data

The compiler for ObliVM

Aigents Java Core Platform

PVTS is a visual interpreter for the Scheme programming language writen in Java.

The garbled circuit backend for the ObliVM framework

Use Minecraft chests for Linux block storage. Submitted to SIGBOVIK 2020.

Contains reference implementations of various modules. Can be used for reference and demo purpose.