A

AI

iProver -- a theorem prover for first-order logic with support for arithmetical reasoning.

Personal website about big data analytics, artificial intelligence and high performance computing. Powered by Jekyll, Node.js, Gulp, Bower and many other cool stuff.

http://gmarciani.com

My bachelor thesis and individual software project.

UPMC Master 2 ANDROIDE: AI for robotics project

My C++ bot for the halite 2016 challenge.

Cross-platform open-source personal assistant.

A framework for building and running your Data warehouse.

Image Classification using Deep Convolutional Neural Networks

Originally forked from Pannous's tensorflow-speech-recognition project (https://github.com/pannous/tensorflow-speech-recognition) (2017-05-28)

Un projet personnel de divulgation de l'intelligence artificielle en linguistique.

A recurrent neural network that can recognize poker hands

Software de estratégia da equipe RoboFEI - Small Size League (SSL).

A project realized during my 2-year Technical Degree in computer science.

My TIC-80 Game Development environment

Reusable Scripts Project Compiler Sprite Backups Cartridge Storage

Requires NodeJS and Tick-80

idtracker.ai tracks up to 100 unmarked animals from videos recorded in laboratory conditions using artificial intelligence. Free and open source.

A word sense disambiguation disambiguation program based on knoledge base, built using babelnet's synsets, with various techniques.

an A.I. Chat-bot made with PHP. [W.I.P]