Home page: Sitemap
Séminaire des ÉlèvesPlan
- [Home page]
- [CDuce]
- [OCamlDuce]
- [XStream]
- [PhD defense]
- [Papers and talks]
- [Quelques mots sur moi]
- [Sudoku solver in Objective Caml]
- [OCaml software]
- Sudoku
- mtt: experiment in exact type-checking for XML transformations with accumulators
- xtrans: experiment in exact type-checking for XML transformations
- SpiderCaml: binding to SpiderMonkey's Javascript implementation
- Bounded-size memoization
- Recursive: manipulating recursive values with maximal sharing and unique representation
- ulex: a lexer generator for Unicode
- openin: locally open modules
- Getopt: parsing of command line arguments (à la GNU GetOpt) for OCaml
- recode: conversion between characters encodings
- XPath
- pa_ocamllex: ocamllex lexers embedded in OCaml programs
- Postgres: PostgreSQL bindings for OCaml
- HereDoc: syntactic sugar for text producing applications
- Patches
- Quine
- [Nostalgy: keyboard productivity extension for Thunderbird]
- [FlexDLL]
- [The natdynlink branch in OCaml's CVS]
- [Informatique]
- [Mathématiques]
- [Séminaire des Élèves]
- [Research-oriented CV (EN)]
- [Research-oriented CV (FR)]
- [Sitemap]
- [A small compiler project]
- [Debian's Bug Squashing Parties]
Home page: Sitemap