Parmi les nombreux projets que j'ai réalisés pendant mes études, voici une liste de ceux dont j'ai conservé les sources. Les cahiers des charges et sujets de TP ne sont plus accessibles, sauf pour le projet long, dont l'archive contient le cahier des charges.
Outil de model-checking QCTL, voir la page de François. Collaboration avec François Laroussinie suite à mon stage de recherche en L3.
Programme qui factorise un polynôme dans Z[X]. Projet de math-info en duo (Java), L3. sources
Jeu en réseau. Projet en C pour le client et Java pour le serveur, en trio, L3. sources
Commandes C pour manipuler des fichiers de données d'un format ad-hoc. Projet de programmation en C, en duo, L3. sources
Calculatrice de probabilités au poker. Projet de programmation fonctionnelle en solo (OCaml), L3. sources
Logiciel de programmation graphique par blocks similaire à Blockly. Projet long en quatuor (Java), L2. sources
Parser d'un langage de description simplifié similaire à LaTeX vers HTML. Projet d'analyse de données structurées en duo (Java), L2. sources
Jeux en interface graphique similaires à Winlines et au gomoku. Premier projet de programmation orientée objet, en solo (Java), L2. sources