Links

Fellows

Logique Mathématique et Fondements de l'Informatique

Ecole Normale Supérieure

Some classmates when I was at the ENS:
Antoine Amarilli, Yoann Bourse, Fabrice Ben Hamouda,
Marc Jeanmougin, Robin Morisset, Pablo Rauzy

Websites

Logique Mathématique et Fondements de l'Informatique

Logique Mathématique et Fondements de l'Informatique

Unofficial website about the LMFI master. Due to the lack of content publication tools for the master, I decided to code one. This website fulfilled its purposes for the year and is likely not to be maintained any more.

Computability Seminar at LIAFA

Computability Seminar at LIAFA

Website about a seminar in Computability Theory in LIAFA. This website is actively used inside the Automata and Applications group to advertize weekly talks about computability and related topics. The website is very generic and can be reused for other seminars. Source code is available here.

Internship Projects

Monadic Translation

Monadic Translation

Coq formalization of a monadic translation over Lisp-Like Multi-Staged languages and semantics presarvation proofs. This project has been realized within ROSAEC Center.

AlvisIR

Alvis Search Engine

Alvis is a tool for document indexation and semantical search. It supports advanced features like synonyms, disambiguation.. My purpose was to develop a web interface for this project within INRA during an internship supervised by Claire Nédellec. It will become open source soon.

STV

Stacked Trees Viewer

Stacked Tree Viewer is a tool for visualization of large dendograms. It uses IPI as a graph matching algorithm. This tool has been presented in IHM 09 conference. Source code is available here.

IPI

IPI

IPI is a graph matching algorithm implemented during my Internship supervised by Gilles Bisson. A Java implementation is available. See Aci & al. 2007 for more informations about the algorithm.

Scholar Projects

Boolean Circuit

Boolean Circuit Simulator

Group project realized within a class of digital systems, it contains a very optimized simulator of boolean circuits with a high level circuit description language, with inductive gate definition, gate functors, pattern matching... This project was done in collaboration with Robin Morisset

Sqwarea

Sqwarea

Multiplayer game developped within a group project of Software Engineering whose aim was to lear how to manipulate Windows Azure. A YouTube presentation is available here. Slides are available here. An extensive list of contributors is accessible here.

Personal Projects

Nooda

Nooda

Nooda aims to be a modeling clay to manage data easily in a collaborative way. I haven't been working on this project for some time, but I plan to restart it soon. A (french) presentation is given here. This project is done in collaboration with Fabrice Ben Hamouda

OpenLuke

OpenLuke

OpenLuke is a project whose purpose is to provide a decentralized content-agnostic highly scalable data management oriented secured open source social network. Of course, the project was too ambitious and has been abandoned. This project was done in collaboration with Fabrice Ben Hamouda

Neovos

Neovos Aquila

Neovos Aquila is a web operating system. It is the next generation of the Neovos project after Neovos Falco. It enables you to access your data everywhere, manage them as if you were on your desktop and transfer entire folders by drag & drop. The interface is much more evolved, you can navigate through archives, remote folders, your local files, ... No demo is any more available. I may create a webpage for more details. This project was done in collaboration with Luc Gille

Neovos

Neovos Falco

Neovos Falco is a web operating system whose interface mimics Windows XP. It is the first version of the Neovos Project. It enables you to access your data everywhere, make FTP transfers, manipulate online as if you were on your desktop. A YouTube presentation of this version is available here. This project was done in collaboration with Luc Gille

jLang

jLang: Empower your javascript

jLang is an ECMAScript extension which adds some cool features like object oriented syntax, namespaces, operators overriding... This website describes provides jLangc, a compiler from jLang to Javascript. The project isn't maintained. Source code is available here.

YaTodoList

YaTodoList

Yet Another Todolist web application written in PHP. I coded it for my own use. It is heavily inspired by the software TodoList. It supports sharing, history, ... Source code is available here.

phpDBO

PHP DataBase Object

A high level collection of classes for accessing databases from PHP. Gives an Object-Orientated interface, saves time for developers and simplifies things for newbies. There used to be a documentation...