RepositoryStats indexes 610,149 repositories, of these INRIA/velus is ranked #400,957 (34th percentile) for total stargazers, and #208,667 for total watchers. Github reports the primary language for this repository as Coq, for repositories using this language it is ranked #74/108.
There have been 2 releases, the latest one was published on 2022-01-06 (3 years ago) with the name v3.0.0.
Homepage URL: https://velus.inria.fr
Star History
Github stargazers over time
Watcher History
Github watchers over time, collection started in '23
Recent Commit History
651 commits on the default branch (paul-thesis) since jan '22
Yearly Commits
Commits to the default branch (paul-thesis) per year
Issue History
Languages
The primary language is Coq but there's also others...
updated: 2025-01-31 @ 06:34am, id: 216652056 / R_kgDODOnZGA