Formalizing Principia Mathematica using Lean
Gerankt nach den Empfehlungen unabhängiger Entwickler, Gründer und Ingenieure aus echten Diskussionen.
Formalizing Principia Mathematica using Lean
GitMCP is an automatic MCP server for every GitHub repo
Ich habe ein Open-Source-Verzeichnis erstellt, in dem ihr eure Projekte präsentieren könnt.
Ein Raycast-kompatibler Launcher für 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
Google Nano Banana Pixel-Art mit Rust reparieren
We made our own inference engine for Apple Silicon
A native, Raycast-compatible launcher for Linux
eine ergonomische, zeitachsenbasierte Hacker-News-Startseite
LLM-assisted FFmpeg in the browser
Differentiable Geometric Optics in PyTorch
open-source, AI-native test framework for web apps
Interaktive Übungen, damit man die LeetCode-Muster nicht vergisst
An HTTP/TCP latency tool that's easy on the eye
Der moderne HTTP-Client, der in Ihrem Terminal läuft
Ein CNN, geschrieben in C++ und Vulkan (ohne ML- oder Mathematik-Bibliotheken)
Verwandeln Sie Ihren Code in ein Wiki
Command-line tool (and bash library) that creates JSON
Spielplatz für kreatives Mikro-Programmieren
Eine Sprache, die den Umgang mit WebGPU vereinfacht
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-Code vollständig clientseitig kompilieren, ausführen und teilen
Visualisierung der Entropie eines Quellcodes mithilfe eines 3D-Kraft-gesteuerten Graphen
TCP-Tunneling über eine Datei
Creating custom coloring pages from photos. Great for parents/teachers
Not sure you're talking to a human? Create a human check