A customizable 3D platform for agent-based AI research
Proof Logic : A logical framework for theorem proving
Fork of OCR software cuneiform
Speech recognition software for English & Polish languages
Text-to-Speech TTS for Basque, Spanish, Catalan, Galician and English
Fast Coreference Resolution in spaCy with Neural Networks
A Torch implementation of the object detection network
robotic project
the intelligent predictive text entry platform
Multiagent simulator of road traffic in Qt/C++ and OpenStreetMap.
32 bit VIRGO Linux Kernel
DarkForest, the Facebook Go engine
Multi-process homeostatic software agent library
The experimental source code for the paper
Tools to train Image Operators automatically from a set of samples.
This is a suite of mathematical software solvers GUI
Deep Learning in Haskell