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

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



Design and export beautiful mesh gradients, waves, and patterns with GPU-accelerated effects.
@zoxilsi · X

Play a browser game instantly with no wallet or setup.
@NormiePepeNFT · X
Want to have some fun? 🐸🎮 Try the NOPE game — built entirely with Claude Code. No wallet connection required. No complicated setup. Just jump in and play. Have some fun. Be NOPE. 💚

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

Create beautiful crystal visualizations and patterns.
@songfeitong · X
Introducing Pretty Lattice, a modern-looking crystal visualization tool for creating beautiful figures. Built with Codex since 5.5, and now with 5.6 sol. A huge leap from 5.5, much better at frond end. Github: Demo:

Design grainy gradients by dragging through an infinite world and export up to 5K.
@Jellede_v · X
Currently working on Gradients made easy & satisfying 🤗

Interfaces for Claude, Codex, and Grok built with shadcn UI components.
theswerd · GitHub
brainless Claude Code, Codex, and Grok interfaces as shadcn components

Learn math and physics through cinematic missions and interactive physics simulations.
@electricdrago10 · X

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

Design and simulate chemical processes with AI assistance for education and research.
@IbehOmodolor · X