• 1
• 0
• 0

UCAgent

Python

UCAgent 是一个基于大语言模型的自动化硬件验证 AI 代理，专注于芯片设计的单元测试(Unit Test)验证工作

• 1
• 0
• 0

XS-MLVP-Picker

C/C++

picker 是一个芯片验证辅助工具，具有两个主要功能： 打包 RTL 设计验证模块： picker 可以将 RTL 设计验证模块（.v/.scala/.sv）打包成动态库，并提供

• 1
• 0
• 0

xspcomm

C/C++

xspcomm 为 picker 的公用数据定义与操作接口，包括接口读/写、时钟、协程、SWIG回调函数定义等

• 1
• 0
• 0

PX4-Autopilot

C/C++

PX4-Autopilot 是 PX4 无人机自动驾驶系统（PX4 Drone Autopilot）

• 1
• 0
• 0

Toffee

Python

Toffee 是使用 Python 语言编写的一套硬件验证框架，它依赖于多语言转换工具 Picker ，该工具能够将硬件设计的 Verilog 代码转换为 Python Packa

• 1
• 0
• 0

toffee-test

Python

toffee-test 是一个用于为 toffee 框架提供测试支持的 Pytest 插件，他为 toffee 框架提供了以下测试功能，以便于用户编写测试用例

• 1
• 0
• 0

RLinf

• 1
• 1
• 2

PDFCraft

JavaScript

PDFCraft 是一套全面的 PDF 工具套件，旨在注重隐私和性能

• 1
• 0
• 0

midscene-js

TypeScript

视觉模型驱动，支持全平台的 UI 自动化 SDK 功能特性 用自然语言编写自动化脚本 描述你的目标和步骤，Midscene 会为你规划和操作用户界面

• 1
• 0
• 0

Zedis

Rust

一个使用 Rust 🦀 和 GPUI ⚡️ 构建的高性能、GPU 加速的 Redis 客户端 📖 简介 Zedis 是为追求速度的开发者设计的下一代 Redis GUI 客户端

• 1
• 0
• 0

RayAI

Python

RayAI 是一个构建在 Ray 之上的平台或基础设施项目，专注于让 AI agent（多智能体系统）和工具并行执行更简单、更可靠

• 1
• 2
• 2

trellis2

C/C++

TRELLIS.2是一款先进的大型 3D 生成模型（40 亿参数），专为高保真图像到 3D 的生成而设计

• 1
• 0
• 0

aily-blockly

TypeScript

aily Blockly是aily Project下的blockly IDE，前期面向非专业用户提供AI辅助编程能力，长远目标是打破专业开发和非专业开发的界限，最终实现自然语言编程

• 2
• 7
• 1

ionet-aeron

Java

ionet 是基于 Aeron、Netty 的 java 分布式服务器框架，无锁异步化、事件驱动架构设计

• 1
• 2
• 0

longcat-image

Python

LongCat-Image 是一个开创性的开源双语（中英文）图像生成基础模型，旨在解决当前领先模型中普遍存在的多语言文本渲染、照片级真实感、部署效率和开发者可访问性方面的核心挑战

• 1
• 2
• 0

rock-n-roll

Python

ROCK n ROLL是阿里巴巴开源的强化学习组合框架

• 1
• 0
• 0

hicyou

TypeScript

HiCyou 是一个现代化的、AI驱动的工具目录平台，旨在帮助用户发现和提交有用的工具和资源

• 1
• 1
• 0

raven-mongodb-java

Java

raven-mongodb-java 是基于 mongodb-driver 的一些封装和增强，提供 orm 常用的数据库操作方法： 默认支持基于数据库实现自增 id

• 1
• 0
• 0

nixtml

一个用 Nix 编写的静态网站生成器，灵感来自Hugo

• 1
• 0
• 0

repo2run

Python

Repo2Run 是一个基于 LLM 的 agent，它通过为 Python 存储库生成无错误的 Dockerfile 来自动配置环境