RoboBrain-Dex是面向具身智能灵巧操作的新型预训练范式,为具身智能机器人在真实场景中的落地提供关键路径
Last updated: 13 hours ago一行命令,让任意软件接入 OpenClaw、nanobot、Cursor、Claude Code 等 Agent 框架
Last updated: 5 days agoHACL*是一个通过形式化证明的密码学库,保证内存安全、功能正确,用F* 编写,包括现代密码学算法:Curve25519, Ed25519, AES-GCM, Chacha20,
Last updated: 5 days agoLongCat-Flash-Thinking 是一款强大高效的大型推理模型 (LRM),拥有 5600 亿个参数,基于创新的混合专家 (MoE) 架构构建
Last updated: 5 days agoUCAgent 是一个基于大语言模型的自动化硬件验证 AI 代理,专注于芯片设计的单元测试(Unit Test)验证工作
Last updated: 5 days agopicker 是一个芯片验证辅助工具,具有两个主要功能: 打包 RTL 设计验证模块: picker 可以将 RTL 设计验证模块(.v/.scala/.sv)打包成动态库,并提供
最近更新: 5天前toffee-test 是一个用于为 toffee 框架提供测试支持的 Pytest 插件,他为 toffee 框架提供了以下测试功能,以便于用户编写测试用例
最近更新: 5天前Toffee 是使用 Python 语言编写的一套硬件验证框架,它依赖于多语言转换工具 Picker ,该工具能够将硬件设计的 Verilog 代码转换为 Python Packa
最近更新: 5天前LongCat-Image 是一个开创性的开源双语(中英文)图像生成基础模型,旨在解决当前领先模型中普遍存在的多语言文本渲染、照片级真实感、部署效率和开发者可访问性方面的核心挑战
最近更新: 5天前