IRILL主持的项目

• 可卡因：在虫子孵化之前杀死它们。
• Cosyverif：一个软件环境，其目标是正式规范和动态系统的验证。
• Mancoosi：管理开源基础设施的复杂性。
• Ocsigen：网络编程中的新鲜空气
• OMicroB:OCaml在微控制器板上

Irill支持的项目