LogicalAtomist / principia

The Principia Rewrite

Date Created 2020-09-27 (4 years ago)
Commits 71 (last one 18 days ago)
Stargazers 213 (0 this week)
Watchers 16 (0 this week)
Forks 5
License gpl-3.0
Ranking

RepositoryStats indexes 616,225 repositories, of these LogicalAtomist/principia is ranked #176,891 (71st percentile) for total stargazers, and #138,926 for total watchers. Github reports the primary language for this repository as TeX, for repositories using this language it is ranked #532/1,955.

LogicalAtomist/principia is also tagged with popular topics, for these it's ranked: latex (#279/709)

Other Information

Star History

Github stargazers over time

25025020020015015010010050500020212021Jul '21Jul '2120222022Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Watcher History

Github watchers over time, collection started in '23

161615.515.5151514.514.5141413.513.5131312.512.5121220232023Feb '23Feb '23Apr '23Apr '23Jun '23Jun '23Aug '23Aug '23Oct '23Oct '23Dec '23Dec '23Feb '24Feb '24Apr '24Apr '24Jun '24Jun '24Aug '24Aug '24Oct '24Oct '24Dec '24Dec '24Feb '25Feb '25

Recent Commit History

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

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

Yearly Commits

Commits to the default branch (master) per year

45454040353530302525202015151010550020202020202120212022202220242024

Issue History

No issues have been posted

Languages

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

TeXTeXCoqCoq
Opengraph Image
LogicalAtomist/principia

updated: 2025-02-06 @ 11:12am, id: 299121526 / R_kgDOEdQ7dg