Annuaire du CNLL (Gif-sur-Yvette)

Obeo propose des solutions logicielles ouvertes pour créer et faire évoluer les systèmes complexes. Obeo est membre stratégique de la fondation Eclipse.

OCamlPro tackles complex design challenges (blockchains, Domain Specific Languages) notably with the use of formal methods. For that purpose, we promote the use of state-of-the-art programming languages like OCaml and Rust.