A comprehensive and searchable database of categories and their properties
GitHub repository with 36 stars and 7 forks.
Language: TypeScript
Topics: category-theory, database, knowledge-base, mathematics, pure-mathematics, sqlite, sveltekit
2026-06-05: 36 stars and 7 forks.
🎨 Local-first, open-source Claude Design alternative. 🖥️ Native desktop app. ⚡ 259+ Skills · ✨ 142+ Design Systems 🖼️ Web · desktop · mobile prototypes · slides · images · videos · HyperFrames 📦 Sandboxed preview · HTML/PDF/PPTX/MP4 export 🤖 Claude Code / OpenClaw / Codex / Cursor / OpenCode / Qwen / Copilot / Hermes / Kimi & 17+ CLIs.
GitHub repository with 58,940 stars and 6,636 forks.
Trending score: 5.98; stars gained: +1,178; forks gained: +117.
Language: TypeScript
Topics: agent-skills, ai-agents, ai-design, byok, claude-code-for-design, claude-design
Pre-indexed code knowledge graph for Claude Code, Codex, Gemini, Cursor, OpenCode, AntiGravity, Kiro, and Hermes Agent — fewer tokens, fewer tool calls, 100% local
GitHub repository with 41,090 stars and 2,540 forks.
Trending score: 5.83; stars gained: +2,953; forks gained: +188.
Language: TypeScript
⌥ AI Coding agent for the terminal — hash-anchored edits, optimized tool harness, LSP, Python, browser, subagents, and more
GitHub repository with 10,592 stars and 885 forks.
Trending score: 4.82; stars gained: +560; forks gained: +62.
Language: TypeScript
Topics: ai-agent, ai-coding-agent, anthropic, bun, claude, cli
The API to search, scrape, and interact with the web at scale. 🔥
GitHub repository with 128,736 stars and 7,664 forks.
Trending score: 4.80; stars gained: +954; forks gained: +49.
Language: TypeScript
Topics: ai, crawler, markdown, scraper, html-to-markdown, llm
🌊 The leading agent meta-harness for Claude. Deploy intelligent multi-agent swarms, coordinate autonomous workflows, and build conversational AI systems. Features adaptive memory, self-learning swarm intelligence, RAG integration, and native Claude Code / Codex Integration
GitHub repository with 57,889 stars and 6,619 forks.
Trending score: 4.76; stars gained: +401; forks gained: +52.
Language: TypeScript
Topics: claude-code, swarm, agentic-ai, agentic-framework, agentic-rag, agentic-workflow
Write HTML. Render video. Built for agents.
GitHub repository with 24,419 stars and 2,268 forks.
Trending score: 4.72; stars gained: +732; forks gained: +60.
Language: TypeScript
Topics: ai, animation, ffmpeg, framework, gsap, html
Generalized algebraic theories and categorical programming for Clojure.
GitHub repository with 7 stars and 0 forks.
Trending score: 0.50; stars gained: +2; forks gained: +0.
Language: Clojure
Topics: algebraic-data-types, category-theory, clojure, verification
A daily digest of the articles or videos I've found interesting, that I want to share with you.
GitHub repository with 331 stars and 18 forks.
Trending score: 0.04; stars gained: +0; forks gained: +0.
Topics: technology, watch, scala, javascript, java, bigdata
Tiny ML, Rust types, and category theory, executable structure, not AI magic.
GitHub repository with 105 stars and 8 forks.
Trending score: 0.00; stars gained: +0; forks gained: +0.
Language: Rust
Topics: category-theory, learning-by-building, machine-learning, rust, type-systems, ai-engineering
Categorical Query Language IDE
GitHub repository with 351 stars and 26 forks.
Trending score: 0.05.
Language: Java
Topics: cql, category-theory, functional-programming, data-migratation, etl, data-integration