Follow

Hmm, somehow every project I've looked at today is built at or at least has connections to Inria... 🤓

· · Web · 2 · 0 · 6

@neauoire It's a French research lab (inria.fr/en) that works on many things... I'm currently exploring various formal verification tools and languages, and they've worked on many pieces of that space in the last few decades.

@neauoire Here are some of the projects themselves:

* CompCert - verified C compiler (compcert.org)
* OCaml - programming language (ocaml.org)
* Why3 - program verification framework (why3.lri.fr)
* Creusot - program verification for Rust (github.com/xldenis/creusot)

@jryans @neauoire That has indeed been a strong focus of French CS research for the last few decades. Another important project in this space is the Coq proof assistant (https://coq.inria.fr/).

Sign in to participate in the conversation
Merveilles

Revel in the marvels of the universe. We are a collective of forward-thinking individuals who strive to better ourselves and our surroundings through constant creation. We express ourselves through music, art, games, and writing. We also put great value in play. A warm welcome to any like-minded people who feel these ideals resonate with them.