Category Directory

Top Frameworks & Libraries

Modern frontend/backend runtimes, SDKs, typed DSLs, and developer building blocks.

4 Tools Cataloged

Zerg Router

Run DeepSeek models inside Codex seamlessly

#AI#DeepSeek#Developer Tools#LLM Routing

★200.6k

An Open Source Machine Learning Framework for Everyone

#DevTools#C++

★38

Spivak's Calculus formalized in Lean 4 – every theorem, every problem — newly launched project showcased by in...

#Open Source

★2

Sixb, a TypeScript ontology framework for modeling your domain — newly launched project showcased by indie cre...

#AI