RepositoryStats indexes 535,551 repositories, of these ilyasergey/pnp is ranked #202,781 (62nd percentile) for total stargazers, and #151,104 for total watchers. Github reports the primary language for this repository as Coq, for repositories using this language it is ranked #32/95.
ilyasergey/pnp has Github issues enabled, there are 7 open issues and 4 closed issues.
Homepage URL: https://ilyasergey.net/pnp
Star History
Github stargazers over time
Watcher History
Github watchers over time, collection started in '23
Recent Commit History
0 commits on the default branch (master) since jan '22
![Inactive](/images/death.png)
No recent commits to this repository
Yearly Commits
Commits to the default branch (master) per year
Issue History
Languages
The primary language is Coq but there's also others...
updated: 2024-05-16 @ 11:26am, id: 19973926 / R_kgDOATDHJg