游戏娱乐2 months ago
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
20 projects
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
审计和编排 AOSP ROM 构建管道，含准备矩阵和安全门。
@Tom721721 · X
Check out what I just built with Lovable!
按规格、零件号或描述搜索电子元器件
hannesfur · HN
Stillwind – PCB part selection as constraint solving
在 dsplugin.app 浏览 DeepSeek Harness（dsh）社区插件目录：按来源与 Manifest 状态筛选，查看 GitHub 数据和安装命令。
@medfac_opc · X
有朋友做了一个DeepSeek harness的插件导航站，功能非常齐全，目前已收录近5000个插件仓库，果然开源的力量大； 目前关于DSH的讨论很多，信息比较散乱，有这么一个网站把信息汇总到一处，能节约大家很多的无效时间； 我的个人看法是，dsh创造一个新的范式，尽管它现在可能还不是那么强大，可以理解为一个博士生的幼儿园阶段，但它有个强大的内核和基座，迟早有一天会成为一把屠龙宝刀； 记住cuitianyi这个名字，我觉得他将来会让世界大吃一惊
创建和导出 Mermaid 图表,包括流程图、ERD 和序列图
ghosts_ · HN
I've been slowly adding some new free tools to Moxie Docs (partly for SEO, partly to illustrate some of our feature sets before any commitment) for some reason this mermaid editor one blew up on Google rankings so I figured I'd share in case people find it useful! We also have ADR, AGENTS.md, LLMs, and a few other free tools.
Keel - 在一个地方管理合规控制、政策和审计证据。
@KeelGRC · X
just launched this week. It’s an SMB-friendly GRC and compliance application.
使用模板和变量从CSV或API生成大规模个性化设计。
@trebizant · X
Hi, I'm building : generating gift cards, invitations, basically any image using templates, variables by web or API
探索数学曲线、分形、对称和拓扑的交互式可视化。
@vkuoo · X
Added more demos showcasing graph-math relationships, built with Codex.