软件

1. 首页
2. 软件

ShanaEncoder视频压缩软件

视频压缩软件ShanaEncoder是一款韩国厂商制作的视频压缩工具，ShanaEncoder是最强的视频压制软件，支持CPU和GPU同时工作，速度快，清晰度高，B站指定压制工具。

视频剪辑 2025年06月05日 92 点赞 0 评论 1090 浏览

Arctime字幕软件

简单、强大、高效的跨平台字幕制作软件

字幕配音 2025年06月05日 76 点赞 0 评论 1094 浏览

aftershoot

Aftershoot 是一款基于 AI 的摄影辅助工具，支持快速筛选和自动编辑照片，适用于婚礼、活动、人像等多种摄影场景。它能识别重复、模糊或闭眼照片，并提供风格化编辑功能。用户可自定义 AI 编辑偏好，支持 RAW 和 JPEG 格式，兼容主流后期软件，提高工作效率。

AI项目与工具 2025年06月12日 11 点赞 0 评论 1094 浏览

Goedel

Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。

AI项目与工具 2025年06月12日 50 点赞 0 评论 1101 浏览

居然设计家

居然设计家是一款融合AI、3D、VR和大数据技术的家装设计平台，提供户型识别、智能设计、自由建模、全屋定制、海量模型资源及AI辅助设计等功能。用户可通过自然语言交互快速生成个性化设计方案，并支持多工具协同与实时渲染，适用于DIY、智能装修、导购、电商等多种场景，提升设计效率与用户体验。

AI项目与工具 2025年06月12日 61 点赞 0 评论 1104 浏览

赛幕

一款专为体育赛事提供字幕包装服务的软件，可以提升直播比赛的视觉效果，提供类似游戏级别的比分字幕效果。

字幕配音 2025年06月05日 46 点赞 0 评论 1109 浏览

FreeMind

FreeMind是一款基于java的免费的脑图(mind mapping)制作与管理软件。 支持的平台：Windows、Linux和Mac多种操作系统。

思维导图 2025年06月05日 20 点赞 0 评论 1109 浏览

TestSprite

TestSprite 是一款基于 AI 的自动化测试平台，支持后端 API、前端 UI、数据及 AI 模型的测试，能够自动生成测试计划、执行测试并输出详细报告。其核心优势在于提升测试效率、减少人工干预，并适用于多种测试场景，如软件发布前验证、CI/CD 集成、生产环境监控等，帮助企业提升软件质量与交付速度。

AI项目与工具 2025年06月12日 39 点赞 0 评论 1127 浏览

Bugasura

Bugasura，一款能够帮助您自动查找和修复程序中的BUG和简化测试工作流程的工具。

Ai编程建站 2025年06月05日 44 点赞 0 评论 1131 浏览

Inpaint图片去水印

一款强大实用的图片去水印软件

图片处理 2025年06月05日 61 点赞 0 评论 1131 浏览