Games & Play1 week ago
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
28 projects
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
Learn English by reading tiered news articles with integrated vocabulary and quizzes.
News In Simple — 基于 AI 的英语学习新闻网站，提供初、中、高三级分级新闻及配套阅读、听力、词汇和测验素材
Chat with an AI about crypto markets, wallets, tokens, news, and airdrops with live data charts.
@FlateAI · X
We've just launched!
AI-powered notes app built with Codex and refined with Grok.
@Number1AIFanboy · X
I got to go to bed. More coding tomorrow. I just had a realization that I'm building cool shit, using @grok in an app that I built with Codex and refined with Grok. And now Grok just works on himself. LFG🚀 Drop me a note here: Get the app here (use LAUNCH50):