
zkGolf: golf zero-knowledge circuits, verified in Lean
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
The full gallery
Tech stack
32 projects

Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256

Free local-first API client for HTTP, WebSocket, GraphQL, gRPC, MQTT, and more. No account or cloud required.
@HalxDocs · X
Reqit—a fast, local-first API client for developers.

Make group polls in under a minute with swiping votes, no login required.
@DrockStowe · X
For anyone who has a hard time with group decision making.

Convert AI-generated text into natural, human-like writing instantly.
fendouai · GitHub
humanize-text-skill Free AI Humanizer: Humanize AI Text Online

Automatic medicine reminders sent on WhatsApp when you upload prescription photos; no app installation needed.
@buckycodes · X

Design electronic circuits and PCBs in your browser with KiCad, no installation required.
ViktorEE · HN
KiCad, a PCB EDA suite is now working in a browser, you can try it at the link, there's a demo project or you can bring your own. Firefox is best, Chrome is good, Safari is "working". We’re Emergence Engineering, a dev shop from Hungary, mostly working with rich text editors, CRDTs. PCBJam started as my (Viktor, CTO, ex-electrical engineer) hobby project but as time went on I put more and more energy into it, and a product started shaping up in my head, in the last few months we’ve started to focus on this project a bit more, and this is the first MVP~ish result. This project is a ton of fun, ton of learning, ton of improvements over improvements: - I thought there must be ways to emulate the PCB canvas OpenGL code on the web. And yes, there are a lot of ways, all of them very buggy. Turns out it’s faster to just write WebGL code that works with KiCad’s Graphics Abstraction Layer if you add the right intermediate debugging steps. I (with Claude) implemented the features and compared

Transcribe audio files to text instantly with AI, no signup required.
音频转文字工具 — AI 音频转文字,快速、精准、安全的转写服务

Create surveys, quizzes, and interactive games with AI-powered insights in one platform.
@lemhamza · X