LTL to deterministic Rabin automata translator based on LTL3BA
Open Source CPAP Research and Review Software
Patient vital sign simulator for medical emergency training purposes
Haytham is an open source gaze tracker
Pinguino packages
Parallel Optimization Library for Java
Controls any Robot in Python
Particle Image Velocimetry
Tools for reading, validating & writing transit schedule info in GTFS
A color-code design tool
high-performance nonlinear least squares solver for graph problems
Package for solving PDE systems numerically