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

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

Reserve Table——餐厅预订系统,客人缺席收费,可减少放号率达80%。
@ReserveT37916 · X

粘贴任何 URL 即可在设备模型(桌面、平板、手机)上预览项目。
@AndreaPericoli · X
I couldn’t find a simple tool that did exactly what I needed, so I built one in @Lovable Frame Stage lets you paste a URL and instantly preview your project on desktop, tablet, or mobile. No mockups. No setup. 🌐 #vibecoding #AI

无需编码用 AI 工作流和数据库构建生产级 web 应用。
@sanchoyai · X
2/ Meet Momen - the no-code builder for production-ready Apps Go to → Got a big app idea but can’t code? The no-code builder that lets non-technical founders create apps go from idea → millions of users. UI, database, workflow, AI — all in one. Not vibe coding, but something you can control, grow, and scale.

为创始人设计的风险企业操作系统,涵盖验证、品牌、定位和启动。
u/medialantern · Reddit
Would you use a brainstorming/planning/ideation tool for side projects? This is not a new idea, and I know we see posts about something similar about once a month. I do think I took it farther than others I've seen, but either way I'd still be interested in feedback on this one. Backstory: I've been building side projects with AI a lot (who hasn't?) and I realized that over the past year I've gravitated toward a very structured approach for building new ideas. I define it, research competit

分析客户数据,细分受众,创建营销活动,追踪商务指标。
@jitendraballa · X

118个隐私优先的浏览器工具,用于图片、PDF、SEO和媒体处理。
@ayan11200 · X
try this one Free solution

在浏览器中跨设备(Mac、PC、iOS、Android、Smart TV)即时分享文件和文本,无需注册。
@WackyCrocoGator · X
This one doesn’t require any signup or payment. Just load and multiple device by opening the site on them and connect them for an easy way to drop text and file to each other.

可直接在浏览器玩NOPE游戏,无需钱包或设置。
@NormiePepeNFT · X
Want to have some fun? 🐸🎮 Try the NOPE game — built entirely with Claude Code. No wallet connection required. No complicated setup. Just jump in and play. Have some fun. Be NOPE. 💚

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


浏览器中的开发环境,集成shell、git和本地AI。
Dhravya · GitHub
burrow a whole dev machine in a browser tab - bun.wasm, shell, git, and local AI. phones home to nobody.