PROJECTS
For jobs
MiniML static analyzer (2011) with Yann Régis-Gianas and Roberto Amadio
Tool to make functional programs with Hoare's logic assertions and execution time annotations.
MiniML compiler (2011) with Yann Régis-Gianas and Roberto Amadio
A compiler of a ML-like language, generating source code annotations to compute statically the execution time.
Optimistic Concurrency Using a Program Logic for History (2010) with Zhong Shao and Yannis Kouskoulas
Coq formalization of historical logic for concurrent programs.
Weakest precondition generator (2009) with Anne Pacalet
A pre-condition algorithm on C with correctness proof in Coq. For the Frama-C project.
For school
Simulation of an olfactory system (2009) with Romain Brette
Simulation of the mammal neural network of an olfactory system, using Brian library.
Bunach (2009) with David Naccache
A robot without articulation simulator, using Bullet physics engine.
Cloudster (2009) with Joannes Vermorel
A k-means algorithm implementation in .Net on the cloud computing platform Windows Azure.
PetitCaml (2008) with Jean-Christophe Filliâtre
A compiler of a subset of OCaml to MIPS assembly, with clotures and type inference.
Microprocessor simulator (2008) with Jean Vuillemin
Electronic circuit simulator (C and Ruby), and design of a small microprocessor.
Generator of walking creatures (2008) with Jean-Marie Cases
A generator of walking creatures using genetic algorithms and ODE physics engine.
For fun
A light web-album system (2011)
A web-album generator in Ruby. No SQL or web-interface, only YAML configuration files. I am using it as a replacement of Picasa Web (import script included). Sample (legends can also be added).
A light blog engine (2011)
A light and extensible blog engine written in Ruby. No SQL or dynamic pages, only text files and static HTML. I am using it for my own French blog.
A hexacopter simulator (2011)
A physics simulator using Bullet to simulate the flight of a hexacopter for the ENS' robotic club.
GPS link (2010)
A webapp to get a web link to your current GPS position, and share where you are.
Twitter_to_IRC (2010)
A Ruby IRC bot to redirect your tweets to IRC.
eoTranslate (2009)
A Firefox add-on to translate Esperanto in English.
TeeWorlds hosted servers (2009)
TeeWorlds is a free online multiplayer game. My servers are hosted on ulminfo.fr, with more than 1.000 players each day.
Catch16 mod (2009)
You can get a new player in your team killing him. Try to be the last team !
Duel mod (2009)
One to One mod, with challenging system, stats, and computed experience.
Save mod (2009)
Your number of kills is recorded. Just try to be the Tee God !
Fire mod (2009)
New kinds of weapons, with a flamethrower.