Pavel Grigorenko's repositories
ATP-in-Haskell
A playground for implementing automated theorem provers in Haskell
lambda-injector
A small Java agent that executes a Runnable body provided via a HTTP header before HttpRequest is handled
sql-parser
A complete, production-quality Java parser for the SQL language.
boltbrowser
A CLI Browser for BoltDB Files
GPL-3.0000
java-fundamentals
Java Fundamentals Course 2013
job-dsl-plugin
A Groovy DSL for Jenkins Jobs - Sweeeeet!
lr-demo-provisioning
Vagrant and Chef provisioning to set up a LiveRebel demo environment
newrelic-deployment-notifier-plugin
Jenkins plugin to notify New Relic about deployments
reactor-kotlin-extensions
Reactor Kotlin Support
rebuild-plugin
Jenkins rebuild plugin
spring-data-mongodb-kotlin-no-accessor
reproduces a bug with persisting entities
spring-petclinic
A sample Spring-based application
spring-petclinic-microservices
Distributed version of Spring Petclinic built with Spring Cloud