RepositoryStats indexes 616,861 repositories, of these INRIA/velus is ranked #399,814 (35th percentile) for total stargazers, and #209,468 for total watchers. Github reports the primary language for this repository as Coq, for repositories using this language it is ranked #75/110.
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-02-09 @ 02:36am, id: 216652056 / R_kgDODOnZGA