01Deep resources for Applied Category Theory (ACT) and formal mathematical computing.
02Extensive index of Model Context Protocol (MCP) server implementations and SDKs.
03Structural classification of repositories into Foundational, Infrastructure, and Application tiers.
04Curated directory of over 2,100 high-signal repositories across niche technical domains.
05Categorized tooling for Julia scientific computing, Emacs extensions, and Web3 infrastructure.
062 GitHub stars