开源

1. 首页
2. 开源

ShareX

ShareX是一款免费且开源的高级截图工具和屏幕记录器，不仅可以截图，还可以录屏，自动添加水印和阴影，适用于Windows系统。

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

Learn Prompting

Learn Prompting 是一个开源平台，致力于教授 AI 提示工程相关知识，涵盖从基础到高级的内容。其主要功能包括智能推荐、深度解析、模拟对话、学习进度跟踪等，同时提供体系化课程及实际应用场景案例。该工具适用于教育、语言学习、内容创作、数据分析等多个领域，助力用户提升 AI 技术的应用能力。

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

Archon

Archon 是一个开源 AI 智能体构建与优化平台，支持多智能体协作、领域知识集成、本地 LLM 集成等功能。它提供自动化代码生成、语义搜索、Streamlit 界面交互及 Docker 部署能力，适用于企业、教育、智能家居等多个场景。技术上融合 Pydantic AI 和 LangGraph，强调框架无关性和高效开发流程。

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

Open NotebookLM

Open NotebookLM是一个开源工具，能够将PDF文档转换为播客形式的音频内容。它基于Llama 3.1 405B、MeloTTS和Bark等先进AI模型，生成自然流畅的对话式音频，并支持多语言及个性化音调设置。用户可通过简单易用的Gradio界面上传PDF文件并下载MP3格式的音频文件，适用于教育、科研、商业分析等多个领域。

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

COMET

COMET是字节跳动开发的Mixture-of-Experts（MoE）模型优化系统，通过细粒度计算-通信重叠技术和自适应负载分配机制，显著提升分布式训练效率。它在大规模模型中实现单层1.96倍、端到端1.71倍的加速，具备强鲁棒性与泛化能力，支持多种硬件环境和并行策略，核心代码已开源并可无缝集成至主流训练框架。

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

Bugasura

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

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

StreamRAG

一个视频搜索和流媒体代理工具，能让您在 ChatGPT 中与您的视频库聊天并观看视频流。

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

FreeMind

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

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

Goedel

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

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

Poetry2Image

Poetry2Image是一个由哈尔滨工业大学提出的迭代校正框架，专门用于中文古诗词的图像生成。该工具通过自动化反馈和校正机制，提升了诗歌与图像的一致性，解决了文本到图像生成模型在处理中文古典诗歌时常见的关键元素丢失或语义混淆问题。Poetry2Image具备搜索翻译、生成初始图像、提取关键元素、图像修正及迭代优化等功能，与多种图像生成模型结合使用时，其元素完整性和语义一致性表现优异，适用于古诗词

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