
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
60 projects

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

Scan smart contracts for vulnerabilities and get gas optimization suggestions.
@Ninjafromqueens · X
Hello! I am the founder and owner of Audit your smart contracts before deploying.

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

Scan your AI bills to find waste and prove savings with tamper-evident evidence.
@askrashidkhan · X

Run LLM inference on consumer GPUs with NVIDIA TensorRT-LLM optimization.
brianhabana123 · HN
TensorRT-LLM running natively on Windows (no WSL)

Order lab tests without a doctor or membership, choose preset panels or build custom ones, and get results by email.
@DirtCheapLabs · X
It's just dirt cheap labs lol

Automates travel booking to find better deals than other websites
@leo_giulianii · X
automates direct booking, offering better deals than any other website

Local-first cognitive runtime with live AST graphs, runs in your browser with no data sharing.
@fortsignal1 · X

Free Kanban project management with boards, spreadsheets, documents, forms, invoices, and AI automation.
u/GordonBlackM3sa · Reddit
I built a free, all-in-one Trello alternative with no per-seat pricing — would love your feedback Hey r/SideProject 👋 I'm the founder of Elixir Boards https://elixirboards.com I got tired of Trello/Asana charging per seat and splitting basic features across paid tiers, so I built an all-in-one workspace: Kanban boards, lists, cards, checklists, labels, due dates Automations + recurring tasks (free) — Trello locks these behind paid plans Docs, spreadsheets, a whiteboard, and invo

Analyze customer friction points and get optimization recommendations to improve e-commerce conversion rates.
@EnricoBoeker · X

Simple AI chat for OpenRouter models with no login, no tracking, self-hostable.
johnfahey · HN
As someone who doesn't use any of the more "advanced" features on sites like ChatGPT or Claude (agentic mode, memory, image generation, deep research, etc), I found the bloat of these services, both in UX and in performance, to be pretty tedious. There are a million AI chat interfaces out there, but I could never find one that just did simple messaging and history in the most minimal and lightweight way possible. So I made my own. Nully is written in Go and Vanilla HTML/CSS/JS. It literally just sends messages to OpenRouter, receives the result, and stores your messages locally. It's very simple, very clean, and very lightweight (see performance graphs on the site). It has basic chat features, basic model settings, and works with just about any OpenRouter text model. It supports attachments and basic web search via the OpenRouter API. I made Nully mostly for myself, but the cost to open-source it and host it on a cheap VPS is practically nothing, so I figured I'd release it if it c

Converts study PDFs into flashcards, quizzes, and audio podcasts with weak-area detection.
@indiesaasgrowth · X
I built a study app. . It's a study app for medicos , it turns pdf into flash cards , audio podcasts, quizzes and so on. It makes study easier. And also reminds them to study and analyses their weak points and then it trains us accordingly. It also shows their performance and progress over time .