Provides CTP stock options and Zhongtai Securities XTP
The GNU Prolog native compiler
Intellect Modeling Kit: assisting research, diagnostics, consulting
A real time inference engine for temporal logical specifications
Unicode XML TEI text analysis platform
NGSpop: identifying & visualizing sequence variation in deepvariant
Pioneers - The Settlers of Catan
Speech recognition software for English & Polish languages
the intelligent predictive text entry platform
Multi-process homeostatic software agent library
Advanced image processing toolbox for Scilab on Unix/Linux/Mac OS
The OSAR Linux Image for Augmented Reality and Computer Vision
Vinux is an Ubuntu derived distribution for blind & visually impaired.
Library written in C with Python API for IPv6 networking