Explore projects

test formation br

Initiation to rasters with R

Webhook to connect Phabricator to Mattermost

Project for the web data management course (2.26.2) at MPRI. Objective : find out and illustrate relations between Bitcoin's market price moves on various exchanges and social media activity. Apply these findings to price prediction.

Histoire des sciences contemporaines: séminaire 3A de Frédéric Brechenmacher

this is the project for implementing the neural map paper (Salakhudintov et al) for making memory based Deep reinforcement learning agents to monitor the network and also make an intelligent IDS.

Modal INF472D

API de Chocapix, le site des bars d'étage

Integration of the Nunchaku model finder in the Lean theorem prover.

Internship project at the VU Amsterdam. With the help and precious guidance of Jasmin Blanchette and Johannes Hölzl.

A small TPS game that demonstrates techniques learned in INF443