Real-Time Object Detection for Windows and Linux
A fast image processing library with low memory needs
Improved JPEG encoder
Expert System Tool
The GNU Prolog native compiler
A real time inference engine for temporal logic specifications
CLIPS compatible application which allows a high performance execution
A C library for parsing/normalizing street addresses around the world
Proof Logic : A logical framework for theorem proving
Parallel simulators for Membrane Computing on the GPU
32 bit VIRGO Linux Kernel
Deep Learning in Haskell
The experimental source code for the paper
The OSAR Linux Image for Augmented Reality and Computer Vision
Generator for optimized, vectorized neural net code
Tesseract OCR iOS is a Framework for iOS7+