Projects

Projects hosted by IRILL

Coccinelle: Kill bugs before they hatch.
Cosyverif: A software environment whose goal is the formal specification and verification of dynamic systems.
Mancoosi: Manage the Complexity of the Open Source Infrastructure.
Ocsigen: Fresh air in Web programming
OMicroB : OCaml on Microcontroller Boards