Tool to make functional programs with Hoare's logic assertions and execution time annotations.
A compiler of a ML-like language, generating source code annotations to compute statically the execution time.
Coq formalization of historical logic for concurrent programs.
A pre-condition algorithm on C with correctness proof in Coq. For the Frama-C project.
Simulation of the mammal neural network of an olfactory system, using Brian library.
A robot without articulation simulator, using Bullet physics engine.
A k-means algorithm implementation in .Net on the cloud computing platform Windows Azure.
A compiler of a subset of OCaml to MIPS assembly, with clotures and type inference.
Electronic circuit simulator (C and Ruby), and design of a small microprocessor.
A generator of walking creatures using genetic algorithms and the ODE physics engine.
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 webapp to get a web link to your current GPS position, and share where you are.
A Ruby IRC bot to redirect your tweets to IRC.
A Firefox add-on to translate Esperanto in English.
TeeWorlds is a free online multiplayer game. My servers had more than 1.000 players each day.
You can get a new player in your team killing him. Try to be the last team!
One to One mod, with challenging system, stats, and computed experience.
Your number of kills is recorded. Just try to be the Tee God!
New kinds of weapons, with a flamethrower.