Synthesizing embedded control software from formal specifications
Java client API for accessing economic data from the World Bank
Java client API for accessing the FRED web services
Android's versatile Adapter for ListView, RecyclerView, GridView, etc.
Documentum administration tool
Template for AspectJ, by which you can trace back the method call.
Problemless Grammar and Parser in Java
The Repast Suite is a family of free agent-based modeling libraries.
State Machine Diagram Plug-In for Eclipse/CDT
Scheduling lockages at ship locks with several parallel lock chambers
Tournament Generator Application (GT)
Annotation based API flavored with AOP to handle Android models
Software Metrics Analyzer for C,C++,Java Programs
TraceMetrics is a trace file analyzer for Network Simulator 3 (ns-3).
Mindwave - Raw EEG Readings
Modbus TCP/UDP Server Simulator and Modbus RTU Slave Simulator
Simple IRC Server written in Java
(RoboSim) Java based Robot Localization and Path Planner Simulator.
Generating PLC programs from formal specifications
Java actor library
A JavaDoc doclet that outputs source code structure in XML format.