Java-Minesweeper
Un démineur en Java pour le cours de PROJ1 (L3IF), fait avec swing, awt, et beaucoup d'amour
❤️
A Java Minesweeper made for the ENS L3 programming course, with swing, awt, and lots of love
❤️
Voir
Go
Pieuvre
Un assistant de preuve développé avec Thibault Hervier pour le cours de ProFon (L3IF), fait avec OCaml, Menhir, et beaucoup d'amour
❤️
A proof assistant codeveloped with Thibault Hervier for the ENS L3 functional project course, made with OCaml, Menhir, and lots of love
❤️
Voir
Go
Fouine
Un mini-Caml et son interpréteur, développé avec Thibault Hervier pour le cours de ProFon (L3IF), fait avec OCaml, OCamlyacc, et beaucoup d'amour
❤️
A Caml-like programming language and its interpreter, codeveloped with Thibault Hervier for the ENS L3 functional project course, made with OCaml, OCamlyacc, and lots of love
❤️
Voir
Go
EPS-Solutions
Un répertoire de solutions (en C++ ou Python) à quelques exercices de programmation compétitive du cours d'EPS (L3IF)
A catalog of (C++ or Python) solutions of some competitive programming exercises for the ENS L3 EPS course
Voir
Go
MDP-sim
Une collection d'algorithmes Python et C++ pour un stage sur les processus de décision markoviens
Python and C++ algorithms for an internship on Markov decision processes
Voir
Go
Rapport de stage L3
L3 internship report
Rapport de stage de L3 sur l'apprentissage par renforcement dans les processus de décision markoviens (en anglais)
Report for an L3 internship on reinforcement learning in Markov decision processes
Voir
Go