C++ libraries for manipulations in non-Euclidean geometry
Constraint Satisfaction Problem solving library for Java
A collection of productivity tools for academic researchers.
Programming a Parrot AR.Drone 2.0 with Python - The Easy Way
A framework for implementing real-time control systems
Bachelor of Science (Informatik)
A system for computer algebra and symbolic mathematics
Dynamic Bayesian Network Library