Ulm (Ens) :
Je recense ici certains de mes projets scolaires que je trouve intéressants.
3ème année de licence, 2nd semestre :
- Pastis
-
Pastis est un toolkit pour Scheme qui permet à partir d'un programme écrit dans ce langage d'en générer un qui se comporte exactement pareil mais qui en plus se réécrit différemment à chaque exécution.
En binôme avec Antoine Amarilli.
Professeur : D. Naccache.
→ sources – rapport (english) - MapReduce
-
Exposé sur les frameworks MapReduce pour la distribution massive de calcul sur de gros volumes de données en étant tolérant aux pannes.
En binôme avec Malo Jaffré.
Professeur : S. Abiteboul.
→ présentation - Syn
-
Syn est un outil de simulation à évènement discret qui tente d'étudier l'efficacité de certains algorithmes avec auto-apprentissage de recommandations personnalisées de sites web à un surfeur sans rien connaître de ses goûts au préalable (à la StumbleUpon).
En binôme avec Floriane Dardard.
Professeur : F. Baccelli et A. Chaintreau.
→ sources – présentation
3ème année de licence, 1er semestre :
- scifi,
simpa,
asciifee,
& sasc -
scifi est un simulateur écrit en C de circuit qu'on lui donne dans un format de netlist à la syntaxe préfixe très pratique.
simpa est un microprocesseur 8 bits n'ayant qu'une seule instruction "
magic" et qui est implémenté dans le langage de netlist de scifi.asciifee est un simple afficheur ASCII-art sept segments écrit en C avec la librairie ncurses.
sasc est une montre écrite en assembleur simpasm du microprocesseur simpa.
En binôme avec Antoine Amarilli.
Professeur : J. Vuillemin et J-B. Note.
→ sources – présentation - λ-calcul
-
Travail de rédaction sur la lambda-calcul dont le but est de montrer que c'est un bon modèle de calculabilité en montrant son équivalence avec les machines de Turing.
Professeur : O. Carton.
→ rapport – présentation - mimo
-
Compilateur écrit en OCaml d'un sous-ensemble de OCaml (axé sur les modules et les foncteurs) vers de l'assembleur MIPS.
Professeur : J-C. Filliâtre et J. Bertrane.
→ sources – rapport
Luminy (fac) :
2ème année de licence :
- Railgo
-
Un outil écrit en C qui sert à calculer divers choses sur des réseaux de voies ferrées (plus court chemin, temps moyen entre deux stations, partition en groupes de stations proches...). Utilisable en ligne de commande ou via son interface graphique (GTK+).
- Portraits
-
Application graphique (GTK+) écrite en C de composition de portraits robots.
Professeur : R. Barbanchon et E. Thiel.
→ sources - Klondike
-
Jeu de solitaire graphique (MyX) écrit en C.
Professeur : R. Barbanchon et E. Thiel.
→ sources
1ère année de licence :
- MEjac
-
MEjac est un outil pour simuler et visualiser l'évolution d'automates cellulaires en dimension 1, à deux états.
Professeur : L. Bédou.
Je dois encore récupérer le code sur mon ordinateur précédent, il sera disponible dans un futur relativement proche.