Pavel Grigorenko's starred repositories
spring-boot
Spring Boot
testcontainers-java
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.
differential-privacy
Google's differential privacy libraries.
feign-reactive
Reactive Feign client inspired by https://github.com/OpenFeign project
Fallout2_Restoration_Project
Fallout 2 Restoration Project, updated
Hands-On-Reactive-Programming-in-Spring-5
Hands-On Reactive Programming in Spring 5, published by Packt
awesome-differential-privacy
list of differential-privacy related resources
awesome-rsocket
Awesome RSocket
reactor-kotlin-extensions
Reactor Kotlin Support
automation-arsenal
Curated list of popular Java and Kotlin frameworks, libraries and tools related to software testing, quality assurance and adjacent processes automation.
lambdaFromString
Java library that can create a lambda from its code stored in a string.
proguard-maven-plugin
Maven Plugin For ProGuard
Directed-Containers
An Agda formalisation of the theory of directed containers
mvn-finisher
Maven extension to call finishing tasks after session processing
qrebel-plugin
Jenkins plugin for QRebel which allows you to specify rules when to fail build.
Number-Theory
Currently this repo contains a translation of Thierry Coquands proof of the irrationality of 2 from agda 1 to agda 2
ATP-in-Haskell
A playground for implementing automated theorem provers in Haskell