Some java and python implementations I meant to push