
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

Automatically route each prompt to the cheapest capable model to cut API costs.
u/ASDKING100 · Reddit
Launched an AI API router tonight, and found a bug hours in that would've taken real payments without ever upgrading the account Built LLMLite over the past few weeks — it classifies each prompt and routes it to the cheapest model that can actually handle it, instead of hitting GPT-4o for everything. Free tier, no card needed to try it. Tonight, right as I was about to launch, ran a real transaction to test the payment flow end to end. Paddle processed it, webhook fired, signature verified

Marcus AI: Habit Tracker Features Philosophers Pricing Join waitlist Coming soon to iOS & Android The habit trackerthat listens back. Track your daily habits. When you stumble,
@yair_dev · X
Released today: speak with ancient philosophers to discuss your habits, speak about general philosophy, and directly manage your habits and check-ins through the chat.

Play Tic-Tac-Toe, Snake, and 2048 in a high-contrast monochrome arcade with retro 8-bit sound effects.
@ParvaShastri · X
No login. No leaderboards. No BS. Just quiet me-time. 🕹️ I built MONO.ARCADE—a minimalist playground. And yes, it’s def vibecoded. 🏄♂️✨ 😉 18 classic games ready. Just click and play. 💡 Comment a game idea! I’ll build it & feature your name. 👉

Play classic Romanian hopscotch by throwing stones and jumping over squares.
@MariusDan1222 · X
Check out what I just built with Lovable!

Tune turbocharger geometry and watch physics simulations in real-time.
@_m3rl1n · X
Got 2 of em for ya. And a fun little side project literally built by the prompt the above generated:

Roll 3D animated dice (D4-D20) for tabletop games instantly.
Nalife520 · V2EX
最近用 Codex 做了一个 3D 骰子! 最近做了一个很小的网页工具:3D 骰子。 做完后有点纠结: 这种小工具到底应该保持极简,还是把常见功能都补上? 抛骰子: https://wheelpage.com/zh/dice-roller/ Dice Roller: https://wheelpage.com/dice-roller/ 现在功能很简单:打开页面,点一下,骰子滚动,然后给出结果。 一开始觉得骰子就是 1 到 6 的随机数,应该很好做。 但做的时候发现,如果只是直接显示数字,又不太像“掷骰子”;做成 3D 动画,又担心有点多余。 现在倾向于先保持简单,打开就能用,不加太多设置。 顺便也做了一个抛硬币页面: https://wheelpage.com/zh/coin-flip/ 它和骰子类似,都是临时做随机决定的小工具。

AI tool that audits your dating profile photos and bios to improve your match rate.
Z4cki

Edit videos with AI assistance while maintaining full creative control.
u/Juliur_ · Reddit
Built a "Cursor for Video Editing" because I couldn't stand another AI editor making decisions for me I've been building video tools for a while and here's my honest take: fully automated AI video editors are garbage. They cut the wrong frames, misplace captions, and you're stuck manually undoing everything. It's faster to just edit the damn thing yourself—but that takes 4+ hours per video. The problem isn't AI. It's that AI editors pretend they know better than you. They don't. So I buil

A rhythm game where you distinguish fake instructions and follow real ones to the beat using arrow keys.
Blue White Flag — Play Blue Flag White Flag Games Online Free

Free JavaScript library for adding scroll animations, parallax effects, and text animations to websites using HTML attributes.
@iamdeepak89 · X

AI-powered quote and invoice generator for tradespeople, creating professional documents in under 60 seconds.
@OyenolaAbdulwa3 · X
Creating invoice for your business made easy 👌