chshersh / pragmatic-category-theory

Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples

Date Created 2024-07-24 (7 months ago)
Commits 9 (last one 2 months ago)
Stargazers 105 (0 this week)
Watchers 9 (0 this week)
Forks 0
License mit
Ranking

RepositoryStats indexes 618,350 repositories, of these chshersh/pragmatic-category-theory is ranked #292,573 (53rd percentile) for total stargazers, and #227,662 for total watchers. Github reports the primary language for this repository as OCaml, for repositories using this language it is ranked #323/723.

Other Information

chshersh/pragmatic-category-theory has Github issues enabled, there is 1 open issue and 1 closed issue.

Star History

Github stargazers over time

120120100100808060604040202000Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Watcher History

Github watchers over time, collection started in '23

9988776655443322Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Recent Commit History

9 commits on the default branch (main) since jan '22

99887766554433221100Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Yearly Commits

Commits to the default branch (main) per year

9988776655443322110020242024

Issue History

Total Issues
Open Issues
Closed Issues
22221111110000Oct '24Oct '2415 Oct15 OctNov '24Nov '2415 Nov15 NovDec '24Dec '2415 Dec15 DecJan '25Jan '2515 Jan15 JanFeb '25Feb '2515 Feb15 Feb

Languages

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

OCamlOCamlDuneDune

updated: 2025-02-18 @ 12:02am, id: 833311767 / R_kgDOMatUFw