Formalizing Principia Mathematica using Lean
토론 전반에 걸쳐 독립적인 개발자, 창업자, 엔지니어의 추천 수에 따라 순위를 매깁니다.
Formalizing Principia Mathematica using Lean
GitMCP is an automatic MCP server for every GitHub repo
여러분의 프로젝트를 자랑할 수 있는 곳을 모아둔 오픈소스 디렉토리를 만들었습니다.
Typeform was too expensive so I built my own forms
클로드 코드용 극작가 스킬 – 극작가-MCP보다 맥락이 적음
I built a tech news aggregator that works the way my brain does
Fixing Google Nano Banana Pixel Art with Rust
an ergonomic, timeline-based Hacker News front page
LLM-assisted FFmpeg in the browser
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
C++과 Vulkan으로 작성된 CNN (머신러닝이나 수학 라이브러리 미사용)
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
클라이언트 측에서 Java 코드를 완전히 컴파일, 실행 및 공유하기
Visualize the entropy of a codebase with a 3D force-directed graph
Creating custom coloring pages from photos. Great for parents/teachers
Not sure you're talking to a human? Create a human check