Formalizing Principia Mathematica using Lean
مرتبة بناءً على عدد المطورين والمؤسسين والمهندسين المستقلين الذين يوصون بها عبر النقاشات.
Formalizing Principia Mathematica using Lean
GitMCP is an automatic MCP server for every GitHub repo
لقد أنشأت دليلاً مفتوح المصدر يمكنك من خلاله عرض مشاريعك
A Raycast-compatible launcher for 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
We made our own inference engine for Apple Silicon
A native, Raycast-compatible launcher for 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
An HTTP/TCP latency tool that's easy on the eye
The modern HTTP client that lives in your terminal
شبكة CNN مكتوبة بلغة C++ وVulkan (بدون مكتبات التعلم الآلي أو الرياضيات)
حوّل قاعدة الكود الخاصة بك إلى ويكي
أداة سطر الأوامر (ومكتبة bash) تُنشئ ملفات JSON
micro creative coding playground
لغة تُسهّل استخدام WebGPU
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
تصور إنتروبيا قاعدة الكود باستخدام رسم بياني ثلاثي الأبعاد يعتمد على توجيه القوى
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