Stars
TriMap: find your next full, half or T100 triathlon on a world map. IRONMAN, Challenge, T100 and independent races, built for age-groupers.
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 [NOTE: Pull requests are temporarily disabled until I have a chance to catch up with the existing ones]
Maven extension to call finishing tasks after session processing
Curated list of differential privacy libraries, courses, and readings
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