An implementation of Jellyfish