GitHub repos by INRIA

3 public repos by INRIA in the catalog, most starred first.

See INRIA on GitHub