Ulm (Ens):
Here are some of my school projects that I found interesting.
Junior year, 2nd semester:
- Pastis
-
Pastis is a Scheme toolkit which produces, from a given program (also in Scheme), a new program which behaves exactly the same as the original one but which also rewrite itself differently at each execution.
In collaboration with Antoine Amarilli.
Prof: D. Naccache.
→ sources – report - MapReduce
-
Presentation given about MapReduce frameworks for massively distributed computing on large data sets with good fault tolerance.
In collaboration with Malo Jaffré.
Prof: S. Abiteboul.
→ slides (french) - Syn
-
Syn is a discrete-events simulation tool which attempt to study the efficiency of some self-learning algorithms which try to make personnalised websites recommendations to a surfer without any previous knowledge of his tastes (à la StumbleUpon).
In collaboration with Floriane Dardard.
Prof: F. Baccelli and A. Chaintreau.
→ sources – slides (french)
Junior year, 1st semester:
- scifi,
simpa,
asciifee,
& sasc -
scifi is a circuit simulator written in C. Circuit are given in a handy prefix netlist syntax.
simpa is a 8 bits microprocessor with only one "
magic" instruction. It is implemented in scifi's netlist language.asciifee is a simple ASCII-art seven-segment displayer written in C with the ncurses library.
sasc is a watch written in simpasm, the simpa microprocessor assembly language.
In collaboration with Antoine Amarilli.
Prof: J. Vuillemin and J-B. Note.
→ sources – slides - λ-calcul
-
Writing work about lambda-calculus. The goal is to prove that lambda-calculus is a valid calculability model, it's done by showing the equivalence between lambda-calculus and Turing machines.
- mimo
-
A compiler for a subset of OCaml (focusing on modules and functors) that translate OCaml code to MIPS assembly. It is written in OCaml.
Prof: J-C. Filliâtre and J. Bertrane.
→ sources – report (french)
Luminy (univ.):
Sophomore year:
- Railgo
-
A tools written in C that compute various stuff about railway networks (shortest routes, average time between two stations, clusters of nearby stations...). Usable in command line or with its graphical interface (GTK+).
- Portraits
-
Graphical (GTK+) application to make facial composite, it is written in C.
Prof: R. Barbanchon and E. Thiel.
→ sources - Klondike
-
Graphical (MyX) klondike game written in C.
Prof: R. Barbanchon and E. Thiel.
→ sources
Freshman year:
- MEjac
-
MEjac is a tool to simulate and visualize 1 dimension and two states cellular automaton.
Prof: L. Bédou.
I still need to get the code back from my previous laptop, it will be available some day in a relatively near future.