Explore projects

Une implémentation la plus simple possible illustrant la gestion des droits de Sigma.

Site de Typographix. À disposition pour tout besoin de modification.

Initiation to rasters with R

Webhook to connect Phabricator to Mattermost

Programming project for the course MPRI 2.4 "Functional programming and type systems"

We aim at finding an efficient way to solve an SDP problem related to distance geometry.

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.

working on web3.0 projects and developing strategy on working on protocol lab Libp2p project + web-Assembly.

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.

https://www.kaggle.com/c/traveling-santa-2018-prime-paths

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

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.

Le magnifique PSC de ma 4A, aussi pipo que le titre le laisse penser