IRILL - Research and Innovation on Free Software


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

Projects supported by Irill