Snowtree 是 Databend Labs 推出的以审查为导向的工作流程,旨在确保 AI 编程会话的安全、可审计和可合并
最近更新:
4天前
STEP3-VL-10B是一款轻量级开源基础模型,旨在重新定义紧凑高效与前沿多模态智能之间的平衡
最近更新:
4天前
LongCat-Flash-Thinking 是一款强大高效的大型推理模型 (LRM),拥有 5600 亿个参数,基于创新的混合专家 (MoE) 架构构建
最近更新:
4天前
金融行业具有高专业、强合规、低容错的核心特性,对金融数据高敏感,对幻觉容忍度低
最近更新:
4天前
Gemini Subtitle Pro 是一款覆盖 视频下载、语音转录、字幕润色、翻译、时间轴对齐、字幕编辑与视频压制的全流程、端到端字幕生成工具,目标是在尽量少人工干预的前提下,
最近更新:
4天前
tuoyun_jieli_ac792 是北京拓云基于杰理 792 系列芯片开发语音对话开发板, 目前实现的功能: 小杰小杰 语音唤醒 语音对话,支持千问,deepseek,豆包等国
最近更新:
4天前
hostctl 是一个用 Rust 编写的命令行工具,用于管理系统的 hosts 文件,支持多环境配置和快速切换
最近更新:
4天前
项目流:现代化开源项目管理的Go+Vue3新选择 —— 一款支持微信登录、媲美禅道的全栈解决方案 在软件开发团队协同工作中,高效的项目管理工具至关重要
最近更新:
4天前
UCAgent 是一个基于大语言模型的自动化硬件验证 AI 代理,专注于芯片设计的单元测试(Unit Test)验证工作
最近更新:
4天前
😺 MewUI 是一个跨平台、最小化、以代码为先的 .NET 图形界面库,并支持 NativeAOT + Trim
最近更新:
4天前
picker 是一个芯片验证辅助工具,具有两个主要功能: 打包 RTL 设计验证模块: picker 可以将 RTL 设计验证模块(.v/.scala/.sv)打包成动态库,并提供
最近更新:
4天前
Toffee 是使用 Python 语言编写的一套硬件验证框架,它依赖于多语言转换工具 Picker ,该工具能够将硬件设计的 Verilog 代码转换为 Python Packa
最近更新:
4天前
xspcomm 为 picker 的公用数据定义与操作接口,包括接口读/写、时钟、协程、SWIG回调函数定义等
最近更新:
4天前
toffee-test 是一个用于为 toffee 框架提供测试支持的 Pytest 插件,他为 toffee 框架提供了以下测试功能,以便于用户编写测试用例
最近更新:
4天前
视觉模型驱动,支持全平台的 UI 自动化 SDK 功能特性 用自然语言编写自动化脚本 描述你的目标和步骤,Midscene 会为你规划和操作用户界面
最近更新:
4天前
PX4-Autopilot 是 PX4 无人机自动驾驶系统(PX4 Drone Autopilot)
最近更新:
4天前
一个使用 Rust 🦀 和 GPUI ⚡️ 构建的高性能、GPU 加速的 Redis 客户端 📖 简介 Zedis 是为追求速度的开发者设计的下一代 Redis GUI 客户端
最近更新:
4天前
PDFCraft 是一套全面的 PDF 工具套件,旨在注重隐私和性能
最近更新:
4天前
RayAI 是一个构建在 Ray 之上的平台或基础设施项目,专注于让 AI agent(多智能体系统)和工具并行执行更简单、更可靠
最近更新:
4天前