leanprover/cslib
The Lean Computer Science Library (CSLib)
A star delta has been computed for 61,707 of 62,640 tracked repositories in this period, and only those can be ranked in it.
A repository missing here has not been measured far enough back yet. That does not mean it did not move.
Star counts measured between 00:44 and 08:04 (BKK).
The Lean Computer Science Library (CSLib)
Artemis - Interactive Learning with Automated Feedback
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Judging backend server for the DMOJ online judge.
That's all 4 repositories in this period.