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

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

Avoid guessing the hidden word in this reverse Wordle game by following color clues.
lby910722 · V2EX
做了一个免费的 Don't Wordle 反向 Wordle 小游戏 最近做了一个原生浏览器版的 Dont Wordle: https://dontwordle.app/ 玩法和 Wordle 反过来:不是尽快猜中隐藏单词,而是要在遵守每一轮颜色提示的前提下,尽量避免猜中答案。页面里有合法单词数量、Undo 、每日局、本地保存进度,不用登录。 技术上是原生页面里的小游戏组件,不是 iframe 。欢迎试试,有反馈也可以直接回帖。

A browser game that turns text selection frustration into a peaceful puzzle challenge.
@PreciseAccident · X
I turned one of the most frustrating mobile experiences into a tiny browser game. When the world's most frustrating text selection meets peaceful words.

Inject engineered cognitive abilities into AI agents at inference time.
@frank_brsrk · X
reasoning tools for ai agents

Turn school topics and confusing text into interactive stories and infographics.
@hazemnassr · X

Guess the time and location of AI-generated images in this geography game.
TimeGuessr — 给你一张图片,让你猜测图片发生的时间和地点。我们把 Timeguessr 的玩法原封不动地搬了过来,只是把图库换成了另一批“假照片”——全部由 AI 生成的过去 50 年里可能发生的瞬间

Answer questions to generate structured AI prompts for ChatGPT, Claude, Cursor, and other AI tools.
@askjames_co · X

Create custom chicken coop plans with AI, including materials, build steps, and budgets.
@chickencoopsai · X
Building the chickenverse and it’s awesome. Say hello to prez Clump. Join us now