游戏娱乐2 months ago
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
19 projects
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
免费浏览器CAD编辑器，绘制和编辑2D设计并导出为DXF或PDF。
@KulmanLab · X
- a free and accountless alternative to Autocad
使用AI编辑照片、生成视频、去除水印的在线工具。
Nano Banana Free — 图像编辑与视频生成工作台，支持产品图精修、人像润色、背景替换和视频生成，并在一个工作流里整合多个 AI 工具。
用表情符号和ASCII艺术打造的八宇宙互动游戏体验。
@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
将 Markdown 转换为 Google Docs 文档，支持 LaTeX 数学公式。
shenhuang · Product Hunt
Markdown to Google Docs Paste AI markdown, get a clean Google Doc, math included
将图像转换为 3D 可打印的 STL 模型。
ImgToSTL — 面向 3D 打印的 AI 图片转 STL 转换器