Lists (1)
Stars
A model checker for implementing distributed systems.
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
Open Source, Google Zanzibar-inspired database for scalably storing and querying fine-grained authorization data
Distributed systems runtime daemon written in Rust.
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.
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)