Explore projects
-
iProver -- a theorem prover for first-order logic with support for arithmetical reasoning.
Updated -
Giacomo Marciani / gmarciani
MIT LicensePersonal website about big data analytics, artificial intelligence and high performance computing. Powered by Jekyll, Node.js, Gulp, Bower and many other cool stuff.
Updated -
Ondrej Skopek / TransportEditor
MIT LicenseMy bachelor thesis and individual software project.
Updated -
UPMC Master 2 ANDROIDE: AI for robotics project
Updated -
Updated
-
Cross-platform open-source personal assistant.
Updated -
-
Postmill / Postmill
zlib LicenseNew repository: https://codeberg.org/LItiGiousemMA/Postmill
Archived 186Updated -
It's all about beating our AI in a serious RoboPig duel!
Archived 0Updated -
UT AI S96 Proj 2
mirrored at https://github.com/hadisfr/simple_sudoku_solver
Archived 0Updated -
Sean Pedersen / DeepImageClassification
MIT LicenseImage Classification using Deep Convolutional Neural Networks
Updated -
-
Quy Le / tensorflow-speech-recognition
GNU General Public License v3.0 onlyOriginally forked from Pannous's tensorflow-speech-recognition project (https://github.com/pannous/tensorflow-speech-recognition) (2017-05-28)
Updated -
Alain ANDRE / ai-nlp
MIT LicenseUn projet personnel de divulgation de l'intelligence artificielle en linguistique.
Updated -
Updated
-
A recurrent neural network that can recognize poker hands
Updated -
RoboFEI / Small Size League / SSL-Strategy
GNU General Public License v3.0 onlySoftware de estratégia da equipe RoboFEI - Small Size League (SSL).
Updated -
A Simple MLP Neural Network for MNIST Dataset Using Verilog HDL
project for UT CAD ~ Fall 96
Archived 0Updated -
A project realized during my 2-year Technical Degree in computer science.
Updated