Enigma Encryption Simulator in Java
An FMI-based co-simulation framework.
(RoboSim) Java based Robot Localization and Path Planner Simulator.
A Free and Open Source Java Framework for Multiobjective Optimization
proof verifier for mathematical proofs and documentation generator