RepositoryStats indexes 534,880 repositories, of these INRIA/velus is ranked #400,795 (25th percentile) for total stargazers, and #199,782 for total watchers. Github reports the primary language for this repository as Coq, for repositories using this language it is ranked #77/95.
There have been 2 releases, the latest one was published on 2022-01-06 (2 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
67 commits on the default branch (emsoft23-artifact) since jan '22
Yearly Commits
Commits to the default branch (emsoft23-artifact) per year
Issue History
No issues have been posted
Languages
The primary language is Coq but there's also others...
updated: 2024-05-17 @ 10:27am, id: 216652056 / R_kgDODOnZGA