RepositoryStats indexes 609,066 repositories, of these aya-prover/aya-dev is ranked #137,920 (77th percentile) for total stargazers, and #227,088 for total watchers. Github reports the primary language for this repository as Java, for repositories using this language it is ranked #8,270/28,950.
aya-prover/aya-dev has 2 open pull requests on Github, 818 pull requests have been merged over the lifetime of the repository.
Github issues are enabled, there are 45 open issues and 379 closed issues.
There have been 1 release, the latest one was published on 2021-11-17 (3 years ago) with the name 2025/01/28-15:55 nightly build.
Homepage URL: https://www.aya-prover.org
Star History
Github stargazers over time
Watcher History
Github watchers over time, collection started in '23
Recent Commit History
4,377 commits on the default branch (main) since jan '22
Yearly Commits
Commits to the default branch (main) per year
Issue History
Languages
The primary language is Java but there's also others...
updated: 2025-01-29 @ 06:25am, id: 311200284 / R_kgDOEoyKHA