- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...1 weekly downloads
The CommGen platform is intended to be a simple, scalable integration platform for small to medium problem sets. The architecture is simple, consisting of a distributed kernel, distributed O/S, agent and application layer.
A smart wheelchair with spoken dialog interface.
Pythagoras is a dynamic geometry software, providing construction, evaluation, manipulation and visualization of geometric objects in 2D and 3D eucledian space. Natural Language support, Smart Agent.