All tags
Catalogue tag

#category-theory

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.

6 records
Tagged “category-theory”Ranked by health index
npm
86Excellenthealth index
zio/zio-prelude
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Scala★ 472Aug 30, 2026
Apache-2.0Aug 30, 2026 · metrics 2.10.0
PyPI · npm · crates.io
75Goodhealth index
panproto/panproto
One engine for schematic version control within and across any schema language.
Rust · Swift★ 81↓ 6,419/moOct 11, 2026
MITOct 11, 2026 · metrics 2.10.0
npm
67Goodhealth index
forthix/forthic-ts
TypeScript runtime for Forthic
TypeScript★ 0↓ 8,792/moSep 5, 2026
BSD-2-ClauseSep 5, 2026 · metrics 2.10.0
npm · PyPI
32At Riskhealth index
rzk-lang/rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
Haskell★ 293Sep 14, 2026
No licenseSep 14, 2026 · metrics 2.10.0
npm
28At Riskhealth index
yishn/tikzcd-editor
A simple visual editor for creating commutative diagrams.
JavaScript★ 1,988Oct 19, 2026
MITOct 19, 2026 · metrics 2.10.0