clarus/Ghost
Just a blogging platform
Discovered public repositories for clarus in the GitHub catalog.
Just a blogging platform
Table-Hub's Rails application deployed on Heroku.
Public repository.
mirror of the source code of the Xv6 operating system
A pretty-printing library in OCaml
The main repository for Table-Hub.
Experiments with the tutorial http://coderberry.me/blog/2013/04/22/angularjs-on-rails-4-part-1/
A Coq plugin to write monadic code naturally.
Public repository.
Public repository.
Fiches de cours C.
Toward a packaging system for Coq
Experiments I am doing for my PhD
A Coq plugin for simpler proofs by reflection or OCaml certificates.
A pipe to redirect messages from Twitter to IRC
A test project