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

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

为 2-10 人寻找最公平的聚会地点,AI 推荐咖啡厅、餐厅等场所。
MeetSpot 聚点 — 多人聚会地点智能推荐工具,输入 2-10 人地址,用球面几何算法计算公平中点,AI 评分推荐附近高评分场所,覆盖 350+ 城市,免费使用无需注册。

将食谱视频转换为可搜索的食谱库,AI助手可帮您烹饪。
@jmqcooper · X

Stovvy按现有食材、烹饪难度和购物清单对食谱排序。
@adamm193 · X
- an app to provide quick and easy recipes using what you already have in your kitchen

通过ICO Logistics在尼日利亚预订卡车,获得即时报价及实时司机追踪。
@Sustainedcare1 · X
Check out what I just built with Lovable!

在您附近查找已验证的加油站,按最近距离排序。
@GhostrouteICU · X
Morning @TheSpacerr , you're a critic and that is why we need you here! Find the trusted fuel and gas filling stations closest to you no matter where you are. Join Ghostroute . claim $5 Free . open Petro to get started Just cause we're cool 👨🏾🎤

粘贴广告获得 AI 点评和 Butter Score,然后重写以优化转化。
@HowardYHuang · X

AI 健身教练,扫描饭菜计算卡路里,追踪运动和体重,制定个性化健身计划。
@vikas1151386 · X
Check out what I just built with Lovable!

生成并比较7个AI模型的优惠、邮件和广告文案。
@MarkZofMarkZ · X
Let's connect! Profit Router 📈

上传餐厅收据照片,AI扫描后与朋友按项目分摊费用。
u/getawaykid · Reddit
I got tired of doing receipt math at restaurants, so I built a free bill splitter with optional AI scanning TL;DR: Receipt Split splits restaurant bills by item. Free for manual entry + real-time sharing. AI photo scanning is optional and costs money to run, so I only charge for that part. I built Receipt Split after one too many dinners where someone said “let’s just split it evenly” while my friend was sitting there with a salad and everyone else had entrees + drinks. It’s a web app —

在Google Maps上发现本地业务,评分潜在客户,生成个性化WhatsApp消息。
@AbosiGodwin · X

将菜单PDF转换为专业数字菜单,包含图片和5种语言翻译。
@juancastillamar · X
Hi Esther, I’m a frontend developer working in seo for let’s connect and keep growing!