IRILL - Research and Innovation on Free Software

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