Add it to a GitHub README or profile β the card updates as the ranking changes:
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
Higher Kinded Type machinery for Java
Automatic derivation of functional-java typeclasse instances and optics