The Agents Manifesto is a set of principles for working with AI agents responsibly—so they become powerful collaborators instead of unsupervised chaos engines.

CBOR codec (RFC 8949, RFC 8742) with CBOR tags, Go struct tag options (toarray, keyasint, omitempty, omitzero), float64/32/16, big.Int, and fuzz tested.

Fallout 2 Restoration Project, updated

Reactor Kotlin Support

Reactive Feign client inspired by https://github.com/OpenFeign project

Spring Boot helps you to create Spring-powered, production-grade applications and services with absolute minimum fuss.

Awesome RSocket

Google's differential privacy libraries.

Hands-On Reactive Programming in Spring 5, published by Packt

😎 Awesome lists about all kinds of interesting topics

Maven extension to call finishing tasks after session processing

list of differential-privacy related resources

Jenkins plugin for QRebel which allows you to specify rules when to fail build.

Curated list of popular Java and Kotlin frameworks, libraries and tools related to software testing, quality assurance and adjacent processes automation.

Maven Plugin For ProGuard

Feign makes writing java http clients easier

12factor apps configuration manager

A lightweight server clone of Amazon S3 that simulates most of the commands supported by S3 with minimal dependencies

Testcontainers is a Java library that supports JUnit tests, providing lightweight, throwaway instances of common databases, Selenium web browsers, or anything else that can run in a Docker container.

Java library that can create a lambda from its code stored in a string.

ITT9200 - A reading group on "Syntax and Semantics of Dependent Types" by Martin Hofmann

Currently this repo contains a translation of Thierry Coquands proof of the irrationality of 2 from agda 1 to agda 2

An Agda formalisation of the theory of directed containers

A playground for implementing automated theorem provers in Haskell