jwiegley / category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

jwiegley
jwiegley
Date Created 2014-07-04 (10 years ago)
Commits 1,550 (last one about a month ago)
Stargazers 767 (1 this week)
Watchers 19 (0 this week)
Forks 72
License bsd-3-clause
Ranking

RepositoryStats indexes 628,089 repositories, of these jwiegley/category-theory is ranked #67,901 (89th percentile) for total stargazers, and #113,969 for total watchers. Github reports the primary language for this repository as Coq, for repositories using this language it is ranked #6/111.

Other Information

jwiegley/category-theory has 1 open pull request on Github, 117 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 4 open issues and 15 closed issues.

There have been 1 release, the latest one was published on 2022-08-19 (2 years ago) with the name 1.0.0.

Star History

Github stargazers over time

800800700700600600500500400400300300200200100100002015201520162016201720172018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

202019.519.5191918.518.5181817.517.5171720232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

415 commits on the default branch (master) since jan '22

450450400400350350300300250250200200150150100100505000Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (master) per year

7007006006005005004004003003002002001001000020142014201520152016201620172017201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
2020181816161414121210108866442200201720172018201820192019202020202021202120222022202320232024202420252025

Languages

The primary language is Coq but there's also others...

CoqCoqNixNixHaskellHaskellMakefileMakefileShellShell

updated: 2025-03-17 @ 11:14pm, id: 21490182 / R_kgDOAUfqBg