| name | CEA | |
|---|---|---|
| description | CEA is a French state company, member of the OCaml Consortium. | |
| url | https://cea.fr/ | |
| logo | users/cea.png | |
| locations |
|
|
| consortium | true | |
| featured | true |
CEA is a French state company, member of the OCaml Consortium. It uses OCaml mainly to develop a platform dedicated to source-code analysis of C software, called Frama-C.