PDFCraft 是一套全面的 PDF 工具套件,旨在注重隐私和性能。与许多在线转换器不同,PDFCraft 通过 WebAssembly 技术在浏览器内完全处理你的文件。您的文件从未离开您的设...<
UpgradeLink 是全端应用升级与分发平台,为开发者省去90%升级服务搭建成本。 为什么选择 UpgradeLink? 无论是个人开发者的小工具,还是企业级复杂应用,都能一键接入全端升级能...<
日志收集智能分析系统-LCA 快速部署:部署丝滑,管理方便,有web后台管理。 高效的数据采集:LCA 支持多种数据源,无论是服务器日志、应用日志还是网络设备日志,都能一键配置,快速部署。 灵活...<
人力资源管理系统(HRMS),主要功能包括员工主数据管理、入职到离职的全生命周期流程线上化、考勤数据对接、薪酬与社保计算,以及与OA和财务系统的集成。目标是实现人事管理的数字化,提升效率,降低错...<
MyObj 是一个基于 Go + Vue3 开发的现代化开源私有云存储系统,为个人和家庭用户提供安全、高效、易用的文件管理服务。系统采用前后端分离架构,支持大文件上传、断点续传、秒传、文件分享、...<
UCAgent 是一个基于大语言模型的自动化硬件验证 AI 代理,专注于芯片设计的单元测试(Unit Test)验证工作。通过 AI 技术自动分析硬件设计,生成测试用例,执行验证任务并生成测试报...<
picker 是一个芯片验证辅助工具,具有两个主要功能: 打包 RTL 设计验证模块: picker 可以将 RTL 设计验证模块(.v/.scala/.sv)打包成动态库,并提供多种高级语言(...<
xspcomm 为 picker 的公用数据定义与操作接口,包括接口读/写、时钟、协程、SWIG回调函数定义等。 xspcomm以基础组件的方式被 DUT、MLVP、OVIP等上层应用或者库使用...<
toffee-test 是一个用于为 toffee 框架提供测试支持的 Pytest 插件,他为 toffee 框架提供了以下测试功能,以便于用户编写测试用例。 将测试用例函数标识为 toffe...<
Toffee 是使用 Python 语言编写的一套硬件验证框架,它依赖于多语言转换工具 Picker ,该工具能够将硬件设计的 Verilog 代码转换为 Python Package,使得用户...<