Formalizing Principia Mathematica using Lean
Classificados pelo número de desenvolvedores, fundadores e engenheiros independentes que os recomendam.
Formalizing Principia Mathematica using Lean
GitMCP is an automatic MCP server for every GitHub repo
Criei um diretório de código aberto onde você pode exibir seus projetos
Um lançador compatível com o Raycast para Linux
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
Criamos nosso próprio mecanismo de inferência para o Apple Silicon
Um lançador nativo compatível com o Raycast para Linux
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
Uma ferramenta de análise de latência HTTP/TCP com interface agradável
The modern HTTP client that lives in your terminal
A CNN written in C++ and Vulkan (no ML or math libs)
Transforme seu código-fonte em um Wiki
Command-line tool (and bash library) that creates JSON
micro creative coding playground
A language that makes WebGPU easier
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
Compilar, executar e compartilhar código Java inteiramente no lado do cliente
Visualize a entropia de uma base de código com um gráfico 3D baseado em força
Encaminhamento de TCP por meio de um arquivo
Creating custom coloring pages from photos. Great for parents/teachers
Not sure you're talking to a human? Create a human check