A model checker for implementing distributed systems.

The P programming language.

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

SeaweedFS is a distributed storage system for object storage (S3), file systems, Iceberg table buckets, and Lance vector buckets, designed to handle billions of files with O(1) disk access and effo…

Smithy is a protocol-agnostic interface definition language and set of tools for generating clients, servers, and documentation for any programming language.

Database connectivity API standard and libraries for Apache Arrow

Spring Boot starter module for gRPC framework.

A curated list of OPA related tools, frameworks and articles

Apache Flume is a distributed, reliable, and available service for efficiently collecting, aggregating, and moving large amounts of log-like data

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

A Kotlin-friendly interface to log against the Log4j API

Track changes to a patch series over time

Open Source, Google Zanzibar-inspired database for scalably storing and querying fine-grained authorization data

GPG keyring manager

Distributed systems runtime daemon written in Rust.

Count your code, quickly.

Protect your SSH keys with your Mac's Secure Enclave

A Secure Enclave Token Driver Smartcard Extension

Use Touch ID / Secure Enclave for SSH Authentication!

O(1) Cryptography is an easy to use, hard to misuse Java cryptographic library based on O(1) cryptographic algorithms

Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.

Structured Concurrency in Go

Use PageRank to find the most important files in your codebase.

Open and extensible continuous delivery solution for Kubernetes. Powered by GitOps Toolkit.

ElectionGuard is a set of open source software components that can be used to create and publish end to end verifiable elections as well create a publishable artifact for ballot comparison audits.

Revapi is an API analysis and change tracking tool written in Java. Its focus is mainly on Java language itself but it has been specifically designed to not be limited to just Java. API is much mo…

Bind a java thread to a given core

Apache Log4j is a versatile, feature-rich, efficient logging API and backend for Java.

Dependency injection via source code generation

Lightweight dependency injection for Java and Android (JSR-330)