./papers/Academic research papers.
Easybridge, an easy to set-up bridge for talking to all your IM contacts through Matrix (currently supports XMPP, IRC, Mattermost and Facebook Messenger). Currently on hold, has many bugs. Code.
Kogata, hobby operating system project, aiming at simplicity and elegance. Learn more, code.
Frigo, an IRC chatbot based on a LSTM RNN. Code, samples.
Taxi destination prediction (Kaggle competition). We ranked first! Kaggle link. Collaborators: Étienne et Alexandre. Code, blogpost, presentation.
Montreal Institute for Learning Algorithms, été 2015. Plusieurs sujets. Rapport, présentation.
Facebook AI Research, summer 2016. ConvNets and forward models for deep reinforcement learning for StarCraft AI. Rapport, présentation.
ANSYS-Esterel Technologies, été 2014. Étude de l’analyse statique de langages synchrones par interprétation abstraite. Rapport, présentation, code, soutenance.
./cours/Implémentation de CTC (fonction de coût pour la transduction séquence vers séquence) en Theano, pour le cours de modèles graphiques probabilistes. Code. Poster. Rapport.
Implémentation de “Teaching Machines to Read and Comprehend”. Code. Rapport
Projet du cours de robotique : recherche de chemin. Code.
Projet de systèmes et réseaux : implémentation d’une bibloithèque de calcul distribué en OCaml basé sur les réseaux de Kahn. Code.
Projet de sémantique et vérification : interprétation abstraite élémentaire d’un sous-ensemble de C. Code.
Projet de compilation : compilation d’un sous-ensemble de C++ vers assembleur MIPS. Code.
Projet de systèmes digitaux : définition et implémentation d’une micro-architecture RISC 16-bit utilisée pour implémenter une horloge numérique. Code.
./GdT-OS/GdT-OS, groupe de travail sur les systèmes d’exploitation ayant eu lieu en 2014. Plus d’infos & slides, code SOS étudié.
TIPE : algorithme de découpage de polygones pour la recherche de chemins. Rapport. Présentation.