Stars
QuestDB is a high performance, open-source, time-series database
Change data capture for a variety of databases. Please log issues at https://issues.redhat.com/browse/DBZ.
Benchmark comparing serialization libraries on the JVM
Code library for competitive programming purposes.
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
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…
A record-oriented store built on FoundationDB
A simple integer compression library in Java
A fork of Cliff Click's High Scale Library. Improved with bug fixes and a real build system.
Clear implementation of arithmetic coding for educational purposes in Java, Python, C++.
Library for managing service-level fault isolation using Amazon Route 53.
Doradus is a REST service that extends a Cassandra NoSQL database with a graph-based data model, advanced indexing and search features, and a REST API. See also doradus-openshift-quickstart, which …
Coverity Security Library (CSL) is a lightweight set of escaping routines for fixing cross-site scripting (XSS), SQL injection, and other security defects in Java web applications.