Just a bunch of java files for universal algebra and other research