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

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

Install solar panels, earn Watts, and raid rivals in a shared pixel world.
@PanelWars · X
We are building a battle field. Come play. ⚡️⚡️

Ask a yes/no question and get an AI-powered tarot card reading for instant guidance.
Yes/No 塔罗 AI — 融合 AI 技术与塔罗洞见,快速获得"是"与"否"解答

Chat with multiple AI models, build agents, generate images, and analyze PDFs.
@ai_kral · X

Play 7 Takes, a card game of nerve and memory, against an AI dealer.
u/termicrafter16 · Reddit
A friend taught me a Slovenian card game two days ago. GPT-5.6 Sol helped me turn our argument into an AI opponent. Two days ago, a friend taught me Sedmice, a traditional card game we play in Slovenia. The rules are simple, but we quickly got into an argument about the best moves. Naturally, I decided the reasonable way to settle it was to build an AI opponent. I wrote out the rules, project specification, architecture, and implementation details, then handed the logic to GPT-5.6 Sol. Ab

Write objectives and let AI agents (Claude, Cursor, Codex) decompose and execute coding tasks.
dudemanAtl · HN
PlanWright – A control plane for AI coding agents

Receive free AI-powered tarot readings for love, yes-or-no questions, and guidance.
TarotYet — 免费 AI 塔罗牌占卜平台。提供情境感知的 Yes/No 塔罗占卜和深度爱情塔罗解读,帮助做出清晰可行的决策

AI video generator that turns images and text into cinematic videos with motion controls.
Vibe Video — 面向普通用户的 AI 视频生成网站,支持文生视频、图生视频、参考图生视频和电影化镜头控制,适合创作者和营销团队快速产出视频

Interactive demo for experimenting with grading mechanics.
@TheEduardoRFS · X
I vibe coded a demo for grading, not in a great shape but it's fun to play a bit.

https://t.co/3doapHeqkT & https://t.co/qCHWvWuIaq High-Level Architecture (built with Gemini & Grok): Agentic orchestration (LangGraph + CrewAI) Lead qualification + Sales agents A
@LasoffDavid · X
& High-Level Architecture (built with Gemini & Grok): Agentic orchestration (LangGraph + CrewAI) Lead qualification + Sales agents AI Video pipeline (HeyGen/Vyond/Runway etc.) Ad placement optimizer n8n workflows + Voice agents (WhatsApp-heavy for India) HubSpot/Zoho CRM backbone

Generate AI images and videos from text or photos with multiple AI models and templates.
Pixalice — AI 生图与视频生成平台,内置多个图片模板,一键生成,支持 Nano Banana、SeeDream、Sora2 等多种模型

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: