picker 是一个芯片验证辅助工具，具有两个主要功能： 打包 RTL 设计验证模块： picker 可以将 RTL 设计验证模块（.v/.scala/.sv）打包成动态库，并提供
Last updated: 7 days agoLongCat-Flash-Thinking 是一款强大高效的大型推理模型 (LRM)，拥有 5600 亿个参数，基于创新的混合专家 (MoE) 架构构建
Last updated: 7 days agoUCAgent 是一个基于大语言模型的自动化硬件验证 AI 代理，专注于芯片设计的单元测试(Unit Test)验证工作
Last updated: 7 days agotoffee-test 是一个用于为 toffee 框架提供测试支持的 Pytest 插件，他为 toffee 框架提供了以下测试功能，以便于用户编写测试用例
Last updated: 7 days agoToffee 是使用 Python 语言编写的一套硬件验证框架，它依赖于多语言转换工具 Picker ，该工具能够将硬件设计的 Verilog 代码转换为 Python Packa
Last updated: 7 days agoRayAI 是一个构建在 Ray 之上的平台或基础设施项目，专注于让 AI agent（多智能体系统）和工具并行执行更简单、更可靠
Last updated: 7 days agoLongCat-Image 是一个开创性的开源双语（中英文）图像生成基础模型，旨在解决当前领先模型中普遍存在的多语言文本渲染、照片级真实感、部署效率和开发者可访问性方面的核心挑战
Last updated: 7 days agoRepo2Run 是一个基于 LLM 的 agent，它通过为 Python 存储库生成无错误的 Dockerfile 来自动配置环境
Last updated: 7 days agoLazyCraft 是一个基于 LazyLLM 构建的 AI Agent 应用开发与管理平台，旨在协助开发者以 低门槛、低成本 快速构建和发布大模型应用
Last updated: 7 days agoMiMo-Embodied 是一款强大的跨具身视觉语言模型，在自动驾驶和具身 AI 任务中均展现出最先进的性能，是第一个将这两个关键领域整合在一起的开源 VLM，显著增强了在动态物
Last updated: 7 days ago
