游戏娱乐1 week ago
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
22 projects
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
每日逻辑谜题游戏，灵感来自Shikaku和LinkedIn Patches。
patches game — 每日逻辑谜题游戏
使用开源浏览器工具分析象棋游戏，获得自然语言解释，无需登录。
u/ICARUS_2X · Reddit
Spent 7 months building a FOSS platform for natural-language chess analytics (No LLM) Hey guys, I've released CHONSE2, an open-source game review platform that offers unlimited analysis and move explanations without using hallucination-prone LLMs, running entirely in your browser. chonse2.com But Lichess is free, so why use this? Some have asked. It expands on Lichess's feature set a few different ways: Full analysis (accuracy/elo estimations/eval graphs, etc) requir
问一个是/否问题，获得AI塔罗牌解读。
Yes/No 塔罗 AI — 融合 AI 技术与塔罗洞见，快速获得"是"与"否"解答
用英文描述加密交易策略来回测它们。
@torquant · X
building Torquant. you build and backtest trading/investment strategies using only natural languange
在推理时为 AI 代理注入工程化认知能力。
@frank_brsrk · X
reasoning tools for ai agents
用NVIDIA TensorRT-LLM在消费级GPU上进行高性能大语言模型推理。
brianhabana123 · HN
TensorRT-LLM running natively on Windows (no WSL)
使用97个免费财务计算器计算抵押贷款、退休、税收和债务。
@finexplainedhq · X
预提交钩子，在提交前检测AI生成的冗长防御性代码。
@iampeersky · X
is blazingly fast LLM generated code slop detector & clean up cli tool that installs as git pre-commit hook to save your git history from sloppppp
与客户共享文件和讨论文档的门户，无需客户注册。
@droplana_com · X
