AI / Agent / Local Workflow
Depo | AI Harness tools / Depo - Curated Tools, Skills & Resources β a tool directory for AI agents and developer workflows.
rebel0789/codexpro β connects ChatGPT Developer Mode to a local coding agent through MCP.
Waishnav/devspace β a project for bringing ChatGPT into a Codex-like development space.
caezium/Burrow β a native macOS GUI for Mole CLI, covering cleanup, uninstalling, optimization, disk analysis, and MCP.
loops! | Pre-built agent loops β a collection of prebuilt agent loops.
Oak β an AI knowledge base for collaboration between people and agents.
JerryZLiu/Dayflow β a local-first automatic work log that organizes screen activity into a timeline.
Aside | The browser built to do real work for you β a browser focused on agentic work.
HuntScreens β a discovery site for new AI tools.
Codex Radar β an aggregator for Codex-related updates.
Previewing GPT-5.6 Sol: a next-generation model | OpenAI β OpenAI’s model preview article.
Agent Mail β an email product built for agents by QQ Mail.
Programming / Open Source Tools / Systems
Lore β a next-generation open-source version control system.
Otty β a native terminal application.
renatoworks/oh-my-reddit β a terminal tool for reading Reddit threads.
l0ng-ai/papr β a fast, native desktop RSS reader.
ReLaTeX - Copy & Render AI Equations β a browser extension for copying and rendering AI-generated equations.
cool-japan/trustformers β Rust-based Hugging Face Transformers inference and deployment work.
baidu/Unlimited-OCR β a long-document OCR / parsing project.
Blind 75 - LeetCode Problems with Video Solutions β the Blind 75 problem list with video explanations.
Mathematics / Machine Learning / Vision
Michael-Jetson/Robotics_Tutorial β systematic robotics teaching material covering math foundations, C++, planning and control, and SLAM.
Algebrica | A Mathematical Knowledge Base / antoniolupetti/algebrica β a mathematical knowledge-base project focused on clear structure.
Taxonomy of Principal Distances & Divergences β a taxonomy of common distances and divergences.
Natural Number Game β a Lean-style proof game for natural numbers.
A Self-Learner’s Roadmap Through 30+ Great Math Books β a self-study roadmap through mathematics books.
How To Scale Your Model β a JAX / ML scaling textbook.
Alisa’s book of LLMs / math notes β collections of LLM and math notes.
Deep-ML | Practice Machine Learning β a machine-learning practice platform.
Foundations of Computer Vision β MIT’s computer vision textbook.
deep Manifold on X: “Neural Network Learnability and Discoverability” β a thread on neural-network learnability and discoverability.
Among all branches of mathematics, complex analysis is closest to art β an essay on learning and appreciating complex analysis.
LLM Visualization β an interactive visualization of LLM architecture.
MLE is not intuitive β an article on the intuition behind maximum likelihood estimation.
plugyawn/Megaprop β an implementation of a preconditioned optimizer for MoE training, supporting MuP, FSDP Muon, and Megatron-LM.
Product / Design / Reading
Product Design Psychology by Wouter de Bres β resources on product design psychology.
Notes on the Industry Job Search β notes on industry job-search experience.
δΈζ³ηη / kanpianer/bxkp.org β a media-resource navigation site and its open-source repository.
Orthogonal β Greg Egan β the entry point for Greg Egan’s Orthogonal trilogy.
4K original disc downloads β a 4K original-disc resource site.