游戏娱乐1 week ago
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
26 projects
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
Panel Wars: 在像素世界中安装太阳能电池板、赚取能量并突袭对手。
@PanelWars · X
We are building a battle field. Come play. ⚡️⚡️
问一个是/否问题，获得AI塔罗牌解读。
Yes/No 塔罗 AI — 融合 AI 技术与塔罗洞见，快速获得"是"与"否"解答
与AI庄家对战7 Takes，这是一款考验记忆和勇气的纸牌游戏。
u/termicrafter16 · Reddit
A friend taught me a Slovenian card game two days ago. GPT-5.6 Sol helped me turn our argument into an AI opponent. Two days ago, a friend taught me Sedmice, a traditional card game we play in Slovenia. The rules are simple, but we quickly got into an argument about the best moves. Naturally, I decided the reasonable way to settle it was to build an AI opponent. I wrote out the rules, project specification, architecture, and implementation details, then handed the logic to GPT-5.6 Sol. Ab
编写目标，AI代理（Claude、Cursor、Codex）分解并执行编程任务。
dudemanAtl · HN
PlanWright – A control plane for AI coding agents
TarotYet提供免费AI塔罗占卜,为爱情、抉择和人生提供指导。
TarotYet — 免费 AI 塔罗牌占卜平台。提供情境感知的 Yes/No 塔罗占卜和深度爱情塔罗解读，帮助做出清晰可行的决策
Vibe Video — 将图像和文本转化为电影级视频的 AI 生成器。
Vibe Video — 面向普通用户的 AI 视频生成网站，支持文生视频、图生视频、参考图生视频和电影化镜头控制，适合创作者和营销团队快速产出视频
用于尝试评分机制的交互式演示工具。
@TheEduardoRFS · X
I vibe coded a demo for grading, not in a great shape but it's fun to play a bit.
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模型和模板从文字或照片生成AI图像和视频。
Pixalice — AI 生图与视频生成平台，内置多个图片模板，一键生成，支持 Nano Banana、SeeDream、Sora2 等多种模型
调整 turbocharger geometry，实时观看 physics simulations。
@_m3rl1n · X
Got 2 of em for ya. And a fun little side project literally built by the prompt the above generated:
