Tiny ML, Rust types, and category theory, executable structure, not AI magic.
GitHub repository with 105 stars and 8 forks.
Language: Rust
Topics: category-theory, learning-by-building, machine-learning, rust, type-systems, ai-engineering, from-scratch, ml-education, technical-book, ml
Trending score 0.00, freshness score 0.00, stars gained +0, forks gained +0.
2026-06-02: 105 stars and 8 forks.
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
A cross-platform desktop All-in-One assistant for Claude Code, Codex, OpenCode, OpenClaw, Gemini CLI & Hermes Agent. Only official website: ccswitch.io
GitHub repository with 101,399 stars and 6,706 forks.
Trending score: 5.98; stars gained: +1,282; forks gained: +106.
Language: Rust
Topics: ai-tools, claude-code, codex, desktop-app, hermes, hermes-agent
An enhanced tool for CodexApp, striving to make Codex better to use and more comfortable 一个CodexApp的增强工具，努力让Codex变得更好用更舒服
GitHub repository with 18,792 stars and 1,190 forks.
Trending score: 5.44; stars gained: +649; forks gained: +58.
Language: Rust
CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies
GitHub repository with 62,443 stars and 3,866 forks.
Trending score: 5.37; stars gained: +689; forks gained: +65.
Language: Rust
Topics: agentic-coding, ai-coding, anthropic, claude-code, cli, command-line-tool
an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM
GitHub repository with 49,463 stars and 5,224 forks.
Trending score: 4.98; stars gained: +255; forks gained: +31.
Language: Rust
Topics: acp, ai, ai-agents, mcp
π RuView turns commodity WiFi signals into real-time spatial intelligence, vital sign monitoring, and presence detection — all without a single pixel of video.
GitHub repository with 73,957 stars and 9,874 forks.
Trending score: 4.83; stars gained: +185; forks gained: +32.
Language: Rust
Topics: awesome, claude, densepose, esp32, firmware, home-assistant
Your Personal AI super intelligence. Private, Simple and extremely powerful.
GitHub repository with 32,197 stars and 3,120 forks.
Trending score: 4.79; stars gained: +324; forks gained: +36.
Language: Rust
Generalized algebraic theories and categorical programming for Clojure.
GitHub repository with 18 stars and 0 forks.
Trending score: 0.56; stars gained: +1; forks gained: +0.
Language: Clojure
Topics: algebraic-data-types, category-theory, clojure, verification
An experimental proof assistant based on a type theory for synthetic ∞-categories.
GitHub repository with 281 stars and 16 forks.
Trending score: 0.54; stars gained: +1; forks gained: +0.
Language: Haskell
Topics: category-theory, homotopy-type-theory, proof-assistant, haskell
The Python toolkit for computing with string diagrams.
GitHub repository with 425 stars and 76 forks.
Trending score: 0.10; stars gained: +0; forks gained: +0.
Language: Python
Topics: category-theory, diagrams, nlp, quantum-computing
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