Formalizing Principia Mathematica using Lean
按獨立發聲開發者與工程師的真實推薦度、長青跨度與好評率綜合評分排序。
Formalizing Principia Mathematica using Lean
GitMCP is an automatic MCP server for every GitHub repo
I made an open source directory of where to showoff your projects
Typeform was too expensive so I built my own forms
Playwright Skill for Claude Code – Less context than playwright-MCP
I built a tech news aggregator that works the way my brain does
Fixing Google Nano Banana Pixel Art with Rust
We made our own inference engine for Apple Silicon
Differentiable Geometric Optics in PyTorch
open-source, AI-native test framework for web apps
Interactive drills to stop forgetting LeetCode patterns
An HTTP/TCP latency tool that's easy on the eye
The modern HTTP client that lives in your terminal
A CNN written in C++ and Vulkan (no ML or math libs)
Command-line tool (and bash library) that creates JSON
Making an open-source 2D physics iOS game in 2 weeks
Indie iOS app to train your brain in a few minutes a week
Compile, run and share Java code fully client side
Visualize the entropy of a codebase with a 3D force-directed graph
Creating custom coloring pages from photos. Great for parents/teachers