软件

1. 首页
2. 软件

GeoGebra

一款适用于各级教育的免费动态数学软件，它将几何、代数、统计、微积分等多种数学功能集成于一体。

教育学习 2025年06月05日 22 点赞 0 评论 1190 浏览

AutoCoder

AutoCoder是一款基于AI技术的自动编程工具，利用大模型和PLE架构实现端到端代码生成。它支持非技术背景用户通过自然语言描述需求生成软件应用，并具备快速原型制作、功能迭代及全生命周期管理能力，适用于快速原型开发、个性化软件生成及教育等多个领域。 ---

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

Devstral

Devstral是由Mistral AI和All Hands AI推出的编程专用AI模型，专为软件工程任务设计。它在SWE-Bench Verified基准测试中表现优异，能处理复杂代码库、识别组件关系并修复细微错误。该工具轻量级，支持本地部署和企业级应用，具备代码生成与优化、集成开发工具、持续学习等能力，适用于本地开发、企业开发、IDE集成等多种场景。

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

AIdea

AIdea 是一款支持 GPT 以及国产大语言模型通义千问、文心一言等，支持 Stable Diffusion 文生图、图生图、 SDXL1.0、超分辨率、图片上色的全能型完全开源APP。

Ai开源项目 2025年06月05日 13 点赞 0 评论 698 浏览

FaceSwap

FaceSwap是一款开源AI换脸软件，利用深度学习技术实现人脸检测、提取及替换。它支持跨平台操作，包括Windows、macOS和Linux，并可借助GPU加速提升处理效率。FaceSwap还允许用户自定义模型训练以优化换脸效果，广泛应用于影视制作、教育、游戏开发以及虚拟现实等领域。

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

智谱AI开放平台

智谱AI开放平台是一个面向开发者的大模型开发平台，集成了多种先进模型和技术资源。该平台支持统一API接入，涵盖AI视频生成、文生图、多模态视觉、长文本等多种大模型。平台还提供定制化知识解决方案和互动体验，支持云上私有化部署。适用于软件开发者、数据科学家、AI研究者、企业决策者和创业者等人群。

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

居然设计家

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

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

Lobe Chat

Lobe Chat 是一个免费开源的高性能 AI 聊天机器人框架，具备多种功能，如 GPT-4 视觉识别、文字语音转换、灵活的插件系统及个性化主题模式。用户能够轻松部署和扩展功能，适用于各种场景。该框架已在 GitHub 上获得近 14K 星标，展示了其受欢迎程度和实用性。

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

TestSprite

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

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

Goedel

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

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