scalafish An implementation of Jellyfish. See: http://pages.cs.wisc.edu/~brecht/papers/11.Rec.Re.IPGM.pdf