Games & Play2 months 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
19 projects
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
A free browser-based CAD editor for drawing and editing 2D designs with DXF/PDF export.
@KulmanLab · X
- a free and accountless alternative to Autocad
Edit photos with AI, generate videos, and remove watermarks online.
Nano Banana Free — 图像编辑与视频生成工作台，支持产品图精修、人像润色、背景替换和视频生成，并在一个工作流里整合多个 AI 工具。
Interactive game blending emoji symbols with ASCII art across eight parallel universes.
@Alexxi695193271 · X
Vibe coded 8 parallel universes 👾🪐 | Vibe Coding Link for play with it: ⏳ The GemSeed Skool community is free to join for a limited time! 👉 Claim your free spot before it locks: 💻 All vibe coding powered by @Lootainet
SMTRY builds sovereign AI infrastructure: the memory layer for AI you own. Anamnesis gives your AI persistent, encrypted memory.
@SMTRYcorp · X
Convert Markdown to Google Docs with LaTeX math support, paste-ready.
shenhuang · Product Hunt
Markdown to Google Docs Paste AI markdown, get a clean Google Doc, math included
Convert images to STL files for 3D printing using AI.
ImgToSTL — 面向 3D 打印的 AI 图片转 STL 转换器