amintimany / Categories

A formalization of category theory in the Coq proof assistant.

amintimany
amintimany
Date Created 2015-10-14 (9 years ago)
Commits 160 (last one 4 years ago)
Stargazers 95 (0 this week)
Watchers 5 (0 this week)
Forks 4
License unknown
Ranking

RepositoryStats indexes 629,376 repositories, of these amintimany/Categories is ranked #316,540 (50th percentile) for total stargazers, and #323,175 for total watchers. Github reports the primary language for this repository as Coq, for repositories using this language it is ranked #54/111.

amintimany/Categories is also tagged with popular topics, for these it's ranked: library (#1,504/2470)

Other Information

There have been 1 release, the latest one was published on 2016-04-30 (8 years ago) with the name FSCD 2016.

Star History

Github stargazers over time

10010090908080707060605050404030302020101000201720172018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

6666665.55.5555555Dec '24Dec '2415 Dec15 DecJan '25Jan '2515 Jan15 JanFeb '25Feb '2515 Feb15 FebMar '25Mar '2515 Mar15 Mar

Recent Commit History

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

Inactive

No recent commits to this repository

Yearly Commits

Commits to the default branch (master) per year

120120100100808060604040202000201520152016201620172017201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
1111110.50.500000020212021Jul '21Jul '2120222022Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Languages

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

CoqCoqShellShell

updated: 2025-03-07 @ 07:55am, id: 44246114 / R_kgDOAqMkYg