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

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

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/ 它和骰子类似,都是临时做随机决定的小工具。

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

AI productivity app that breaks projects into 5 daily moves and alerts you when you drift.
@Perception95358 · X
Got my first paying customer yesterday from Reddit outreach

AI photo editor with background removal, enhancement, and image generation; no sign-up needed.
Pokecut — 在线免费使用的 AI 图像编辑/生成器

Ask one question to multiple AI models, compare answers, and watch them debate to consensus.
u/trekhleb · Reddit
I kept pasting the same question into ChatGPT, Claude, and Gemini in three tabs; so I built a Yes-Brainer — a council of AI models, that answer your question in parallel, debate to consensus, or get judged to a verdict. submitted by /u/trekhleb to r/SideProject [link] [comments]

Drag your mouse to scratch virtual lottery tickets and unlock automation in this free online game.
Scritchy Scratchy — Free Online Scratch Card Game | Play Now

A minimalist task management tool designed for team simplicity and focus.
@trackowork · X

All-in-one platform for managing and automating outreach campaigns.
@X_LetsConnect · X
- all-in-one outreach platform.
