gap

> For example, on https://github.com/gap-system/gap/pulls it says "Pull requests 78" in the "tab list", but the PR list view reports "35 open" (the number 78 is correct, and confirmed by e.g. `gh pr list`) Surely a scaling hack where they use "estimation" queries that return "kind of right" results instead of 100% correct data, as it's less load on the infrastructure. Not necessarily a bug as much a shit choice from product perspective.

GitHub stability has been bad for me. And recently even the data they show me in the web has been unreliably. Since yesterday, me and several colleagues noticed that the pull request lists on the website are incomplete, across many repositories. For example, on https://github.com/gap-system/gap/pulls it says "Pull requests 78" in the "tab list", but the PR list view reports "35 open" (the number 78 is correct, and confirmed by e.g. `gh pr list`) And that despite <https://www.githubstatus.com> reporting "all systems operational".

While I can't comment on this system (but I'm going to have a look at it), a very mature and similar system is gap ( www.gap-system.org, github.com/gap-system/gap ). It uses a custom python-ish language (it actually pre-dates Python by quite a few years, and has some very interesting features in the type system, hence why it uses a custom language)