Formalizing Principia Mathematica using Lean
Рейтинг на основе реальных рекомендаций независимых разработчиков, фаундеров и инженеров.
Formalizing Principia Mathematica using Lean
GitMCP is an automatic MCP server for every GitHub repo
Я создал каталог с открытым исходным кодом, где можно похвастаться своими проектами
Запускающая программа для Linux, совместимая с Raycast
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
Мы создали собственный механизм вывода для Apple Silicon
Встроенный лаунчер для Linux, совместимый с Raycast
эргономичная главная страница Hacker News с отображением событий по временной шкале
FFmpeg с поддержкой LLM в браузере
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)
Превратите свой код в вики
Утилита командной строки (и библиотека для bash), создающая JSON
площадка для микро-творческого программирования
A language that makes WebGPU easier
осуществлять, ускорять и запрашивать данные SQL из любого источника
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
Visualize the entropy of a codebase with a 3D force-directed graph
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