
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
60 projects

竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256


用端到端加密存储和同步文件,对服务器完全隐藏。
@vaultdesk · X

Claude Code、Codex 和 Grok 的 shadcn UI 界面组件。
theswerd · GitHub
brainless Claude Code, Codex, and Grok interfaces as shadcn components

Voidocs 为初创团队创建专业文档,无需代码配置。
@hannah24_app · X


连接 GitHub,自动将提交和部署转化为可分享的内容。
@plaqueboywest · X
I’m building Super Dent X. Connect GitHub once, and it remembers your build journey for you. Curious what you think: Would love your feedback !

告诉创始人在哪里发布产品及哪些分销渠道能驱动注册。
@runprodstudio · X
Distribution co-pilot for developers. Still developing.

Vault_76:一个用于管理设备租赁、付款和库存追踪的系统。
@ShakibMd93031 · X
Built an Equipment Rental Management System to simplify rentals, payments, and equipment tracking. Looking for businesses interested in a demo or a customized solution.

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

为你的AI生成网站应用设计系统和字体。
@Hamzadevio · X
just shipped. my goal is to help founders add taste to their vibe coded ugly looking apps. (especially the purple gradient, can't see it no more..)

通过回答简单问题创建美观网站,无需编码。
@LukeyPunnett · X
Take a look at would love to hear your feedback - launched today 💪🙏