TimotheeA

Pinned Repositories

mvsi
Some program proofs using TLA+ and Pluscal, Rodin, and Frama-C
Language:TLA1 2 00
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
Language:Java1 2 00
setr_project
Final project of SETR Course - TELECOM Nancy 2020/2021
Language:C++1 2 00
git_tutorials
📑 Some of my practices around git
00
ProjectEuler
https://projecteuler.net/archives
Language:Python00
TNCY
Language:Python00

TimotheeA's Repositories

TimotheeA/git_tutorials
📑 Some of my practices around git
00
TimotheeA/ProjectEuler
https://projecteuler.net/archives
Language:Python00
TimotheeA/TNCY
Language:Python00