Paul Holser's repositories
junit-quickcheck
Property-based testing, JUnit-style
property-binder
A Java library for typed access to property files
advent-of-code
For https://adventofcode.com
building-decision-support-systems
MiniZinc exercises from Mark Wallace's book
clojure-brave-true
Working thru "Clojure for the Brave and True" book
duly-noted
Annotation-finding strategies for Java
junit5-exploration
Showing off some of the neat stuff in JUnit 5.x
minizinc-python-puzzles
Solving problems using MiniZInc's Python interface
quickcheck-assembly
test of junit quickcheck with assembly plugin
shrinking-challenge
Comparing shrinking approaches and performance across different PBT libraries
tourney-pairing-minizinc
Sample tournament pairing model/data