Contributing to the open source ecosystem
An Inria spin-off since 2011, we maintain and contribute to open source projects used in production worldwide: compilers, solvers, tooling. The code is public, the door is open.
What we maintain
GnuCOBOL
Lead maintainer of the only truly free COBOL compiler, active since 2002.
Alt-Ergo
SMT solver developed since 2006, maintained by our team since 2013.
Opam
OCaml's standard package manager, created and maintained by our team since 2012.
Flambda2
Optimizing backend for the OCaml compiler, developed with Jane Street.
Owi
WebAssembly symbolic execution toolkit, for C, Rust, Go, and Zig.
Catala
Contributing to the language that turns legal text into verified code.
How to contribute
Public source code
All our open source projects are available on GitHub, under a free license.
Contributions welcome
Bug reports, patches, technical discussions: our maintainers respond directly.
Open training
Our Qualiopi-certified courses are open to anyone looking to upskill on our technologies.
Our academic and institutional partners
