| name | description | url | logo | locations | consortium | featured | |
|---|---|---|---|---|---|---|---|
CEA |
CEA is a French state company, member of the OCaml Consortium.
|
users/cea.png |
|
true |
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.