Collège de France and Inria

Xavier Leroy

Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming

GitHub Website

Followers

836

Public repos

Stars (recent)

274

Ecosystems

—

Projects

Repositories this builder owns.

coq2html

An HTML documentation generator for Coq source files

ocaml

The core OCaml system: compilers, runtime system, base libraries

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

ocamlmpi

OCaml/MPI interface

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

Projects

Connected narratives

Related builders

Recent activity