Pinned Repositories
mvsi
Some program proofs using TLA+ and Pluscal, Rodin, and Frama-C
sensor_alert
Application Android permettant de lire les données de capteurs de luminosité et d'établir un système d'alerting sur les changements d'état des capteurs
setr_project
Final project of SETR Course - TELECOM Nancy 2020/2021
git_tutorials
📑 Some of my practices around git
ProjectEuler
https://projecteuler.net/archives
TNCY
TimotheeA's Repositories
TimotheeA/git_tutorials
📑 Some of my practices around git
TimotheeA/ProjectEuler
https://projecteuler.net/archives
TimotheeA/TNCY