Formalizing Principia Mathematica using Lean
ディスカッションでの独立したエンジニア、創業者、開発者による支持数に基づきランキング。
Formalizing Principia Mathematica using Lean
GitMCP is an automatic MCP server for every GitHub repo
自分のプロジェクトを披露できる場所をまとめたオープンソースのディレクトリを作成しました
Playwright Skill for Claude Code – Less context than playwright-MCP
I built a tech news aggregator that works the way my brain does
Rustを使ってGoogle Nano Bananaのピクセルアートを修正する
We made our own inference engine for Apple Silicon
Linux 向けのネイティブで Raycast 対応のランチャー
an ergonomic, timeline-based Hacker News front page
ブラウザ上でLLMを活用したFFmpeg
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
materialize, accelerate, and query SQL data from any source
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
3Dフォースダイレクテッドグラフを用いて、コードベースのエントロピーを可視化する
Tunnelling TCP through a file
Creating custom coloring pages from photos. Great for parents/teachers
Not sure you're talking to a human? Create a human check