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

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

为网站和应用添加以文档为基础的语音和指针引导。
@moelabs_dev · X
Skilly — gives your product a voice that points. One script tag adds in-app help that answers from your own docs and moves the user's cursor to the exact button.


发现和分享 AI 代理技能,支持 Claude、Cursor 等多个平台
Skills.lc — AI 技能、Prompt、工作流和 Agent 分享平台,帮助发现和沉淀 AI 使用经验

浏览和体验即用型破冰游戏,适合会议、团队和活动,无需准备。
IceBreakerGames — 破冰游戏转盘,帮你快速决定聚会选什么破冰游戏,并帮你快速了解和准备对应破冰游戏

与朋友在wram.chat的AI法庭中进行实时多人对战。
revolt2tech · HN
Challenge a Friend to Real-Time Multiplayer AI Court Battle – Wram.chat

在3D立方体环境中进行竞速的街机游戏。
@dominguezdaniel · X
Play here! 🏎️ Built with Codex. Powered by Three.js. Deployed on Vercel.

用AI生成简历和求职信,管理求职申请的工具套件。
@probiex007 · X

通过 AI 反馈进行打字练习,提高速度和准确性。
@AmitGajbhare · X
We build - a modern typing platform that helps people improve typing speed and accuracy with AI-powered practice, real-time feedback, progress tracking

在GPU模拟水物理的3D游戏中创造生物。
@rand_monsterlab · X
A monster walks into a GPU-simulated pond. Reactive SPH water in the browser with @threejs + WebGPU. Every movement sends ripples through Coming soon. Follow @rand_monsterlab: #ThreeJS #WebGPU #VibeCoding #IndieGame #Monster

计算《Anime Last Stand》最优队伍组合的策略计算器。
Anime Last Stand Calculator — Anime Last Stand 游戏计算器,帮助玩家快速做出组队策略。

为 Dispatch 游戏任务制作的 AI 队伍组建计算器,成功率 95% 以上。
Dispatch Calculator — Steam 上 Dispatch 这个游戏的计算器助手,帮助玩家针对不同任务进行分配人员信息。