All tags
Catalogue tag

#computer-science

Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.

2 records
Tagged “computer-science”Ranked by health index
74Goodhealth index
leanprover/cslib
The Lean Computer Science Library (CSLib)
Lean★ 626Jul 19, 2026
Apache-2.0Jul 19, 2026 · metrics 1.13.0
Go
54Moderatehealth index
dronnix/bwarr
Black-White Array: fast, ordered data structure based on arrays with O(log N) memory allocations
Go★ 117↓ 0/moJul 14, 2026
MITJul 14, 2026 · metrics 1.13.0