RepositoryStats indexes 537,046 repositories, of these barry-jay-personal/tree-calculus is ranked #433,195 (19th percentile) for total stargazers, and #400,015 for total watchers. Github reports the primary language for this repository as Coq, for repositories using this language it is ranked #86/97.
barry-jay-personal/tree-calculus has Github issues enabled, there are 3 open issues and 3 closed issues.
There have been 1 release, the latest one was published on 2020-10-19 (3 years ago) with the name 20.10.19.
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-09 @ 11:32pm, id: 296540885 / R_kgDOEaza1Q