Plan execution language and executive
Constantly summarizing open source dataset and critical papers
Autonomous aviation intelligence software for drones and VTOL
Optimal control, trajectory optimization, model-predictive control.
SPHERES Facility software for scientists
A Free and Open Source Java Framework for Multiobjective Optimization
Java Internet Prolog (Moved to GitHub)
Conflict Resolution for Air Traffic Control
A CBLS Engine in SCALA, NOW part of OscaR
Weld Optimization for Automatic Welding
Ruby computer vision library