| Name |
Description |
Contact |
Last change |
|
| cudd |
The CUDD BDD package with a better cross-platform build system |
Guillaume Claret |
3 months ago |
↓gz ↓bz2 |
| cyclic |
Representation of data structures with sharing and cycles |
Guillaume Claret |
4 months ago |
↓gz ↓bz2 |
| light_album |
A simple and stupid web-album generator |
Guillaume Claret |
4 months ago |
↓gz ↓bz2 |
| explore |
Program synthesis by abstract exploration |
Guillaume Claret |
5 months ago |
↓gz ↓bz2 |
| acm |
Solutions of ACM problems in C++ |
Guillaume Claret |
6 months ago |
↓gz ↓bz2 |
| light_blog |
My blog, a light-weight system written in Ruby |
Guillaume Claret |
5 months ago |
↓gz ↓bz2 |
| toplevel |
Toplevel for an ML-like language with undo |
Guillaume Claret |
7 months ago |
↓gz ↓bz2 |
| coq_ruby |
Toy project to see how to implement a proof system in Ruby's style |
Guillaume Claret |
7 months ago |
↓gz ↓bz2 |
| hoare |
Hoare's logic for execution time on functional programs |
Guillaume Claret |
8 months ago |
↓gz ↓bz2 |
| mini_ml |
Compiler for an ML-like language with certified real-time |
Guillaume Claret |
8 months ago |
↓gz ↓bz2 |
