GitHub repos by mind-inria

2 public repos by mind-inria in the catalog, most starred first.