Stars
The SDK for autonomous economic agents. Give an agent an identity, a wallet, and the ability to find, negotiate with, and settle with other agents - peer-to-peer, with perfect privacy and ultra-fas…
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
PlaytikaOSS / feign-reactive
Forked from kptfh/feign-reactiveReactive 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.
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.
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