产品库

开源AI代码编辑器，提供强大的AI功能和完全的数据控制。

Void是一个开源的代码编辑器，是Visual Studio Code的分支，它允许用户利用AI工具编写代码，同时完全控制自己的数据。它提供了丰富的AI特性，如自动补全、内联编辑、文件搜索和生成等。此外，它还支持本地模型托管和直接与大型语言模型通信，无需通过中间人。Void的定位是为开发者提供一个高效、安全且功能丰富的编程环境。

开源AI代码编辑器，为10倍效率工程师设计。

Melty是一款开源的AI代码编辑器，它能够理解用户从终端到GitHub的操作，并与用户协作编写生产就绪的代码。由Charlie和Jackson开发，他们有着丰富的编程工具使用经验，旨在通过AI技术提高编程效率和代码质量。Melty在28天内已经能够编写其一半的代码，展现了其强大的自适应和学习能力。

为Cursor.sh IDE提供AI辅助编码的开源仪表板。

CursorLens是一个开源的仪表板，专为Cursor.sh IDE设计，用于记录AI代码生成、跟踪使用情况并控制AI模型（包括本地模型）。它允许用户在本地运行或使用即将推出的托管版本。该产品代表了编程领域中AI技术的应用，提供了代码生成、使用跟踪和模型控制等功能，极大地提高了开发效率和代码质量。

高性能、多人协作代码编辑器

Zed是由Atom和Tree-sitter的创造者开发的高性能、多人协作代码编辑器，开源且集成了AI代码生成功能。它利用多核心CPU和GPU，实现即时启动、快速文件加载和响应键盘输入。Zed支持GitHub Copilot，并通过内置助手面板与模型进行对话式交互，以生成或重构代码。

现代设计和代码编辑器，简单、灵活、开放。

rnbw是一个现代的设计和代码编辑器，它简单、灵活、开放，并且基于网络。它与您的文件协同工作，由Web提供动力。rnbw能够连接人工智能来理解您的项目，并提供一系列工具来管理它。它允许您专注于创造，而AI驱动的命令则帮助您完成工作。

智能团队协作平台，提升工作效率。

Microsoft Teams 是一款集成了聊天、会议、通话和协作功能的智能团队协作平台。它通过提供多种AI驱动的功能，如Copilot提示、Mesh虚拟协作和Teams电话服务，帮助团队更高效地沟通和协作。Teams 支持与Microsoft 365应用无缝集成，为不同规模的企业和教育领域提供定制化的解决方案。

24小时在线物理题目解答AI

LearnFast.ai 是一款面向物理学习者的智能AI解答平台，它利用先进的GPT-4o API，能够理解复杂的文字、图像并进行逻辑计算，为学生、教师、家长和研究人员提供快速准确的物理题目解答服务。该平台支持多种文件格式，无需注册即可使用，并且每天都有免费额度，适合各个学习阶段的用户。

管理日常邮件和日程的高效工具。

Microsoft Outlook是微软推出的一款功能强大的邮件和日程管理软件，它支持跨平台使用，包括桌面客户端、移动设备和网页版。Outlook不仅能够管理个人和工作邮件，还集成了日历、联系人和任务管理等工具，帮助用户提高工作效率。产品背景信息包括其作为Microsoft 365套件的一部分，提供企业级安全保护和智能助手功能。价格方面，Outlook提供免费账户创建，同时也提供不同级别的付费订阅服务，以满足不同用户的需求。

开源大型语言模型工具集合

Open Source LLM Tools是一个专注于收集和展示开源大型语言模型（LLM）工具的平台。它提供了一个更新频繁的资源库，帮助开发者和研究者发现和利用最新的开源AI工具。该平台的主要优点在于其高更新频率和对活跃开源AI开发者的聚焦，使得用户能够及时获取到行业的最新动态和技术进展。

无审查限制的AI模型平台

FreedomGPT是一个提供多种AI模型的平台，包括无审查限制的模型，用户可以在一个熟悉的界面中轻松切换开源和专有模型。它允许用户在浏览器或直接在计算机上运行这些模型，无需注册，无需技术专长。此外，它还支持离线使用，保证了用户隐私和数据安全。FreedomGPT还提供了一个开放源代码的AI平台，鼓励社区成员共同参与构建。

世界领先的数学开源大语言模型

Qwen2.5-Math是一系列专门针对数学问题设计的开源大语言模型，包括基础模型和指令微调模型，支持中英双语，能够通过思维链（CoT）和工具集成推理（TIR）方式解决数学问题。该模型在多个数学基准测试中表现优异，特别是在精确计算和算法操作方面。Qwen2.5-Math的开发背景是提升大语言模型在数学领域的应用能力，推动数学教育和研究的发展。

将智能设备控制权交到您手中。

01 App是一个基于iOS和Android的应用程序，它通过简单的按键对讲界面，允许用户从世界任何地方控制Mac、Windows和Linux机器。该应用代表了一种新型的计算平台，专注于软件而非硬件，通过提供更好的SDK、集成语音模型、提高教学模式的可靠性和增加多模态功能来增强用户体验。01 App的推出，是为了让用户能够更便捷地体验到01平台的智能设备控制能力，同时避免了制造硬件所带来的复杂性和成本。

开源的AI代理/RAG应用的监控与分析工具

Laminar是一个开源的监控和分析工具，专为AI代理和RAG应用设计，提供类似于DataDog和PostHog的功能。它基于OpenTelemetry进行自动监控，支持快速、可靠的数据收集和分析。Laminar使用Rust编写，具有高性能和可靠性，适用于大规模数据处理。它通过提供详细的追踪、事件和分析功能，帮助开发者和企业优化AI应用的性能和用户体验。

开源视频编辑框架，支持自动化视频工作流。

Revideo是一个基于Motion Canvas的开源框架，用于程序化视频编辑。它允许开发者自动化复杂的视频工作流程，或在浏览器中构建完整的视频编辑器。Revideo支持使用Typescript创建视频模板，并能够即时预览和渲染为MP4格式的视频。它适用于大规模视频生成、A/B测试视频广告、构建网页内的视频编辑器或视频游戏等场景。

世界顶尖的开源大型语言模型

Reflection Llama-3.1 70B 是目前世界上顶尖的开源大型语言模型（LLM），采用名为 Reflection-Tuning 的新技术进行训练，使模型能够检测其推理中的错误并进行修正。该模型在合成数据上进行了训练，这些数据由 Glaive 生成。对于正在训练模型的用户来说，Glaive 是一个非常出色的工具。该模型使用标准的 Llama 3.1 聊天格式，通过特殊的标签来区分模型的内部思考和最终答案，从而提升用户体验。

高效开源的大型语言模型

OLMoE-1B-7B 是一个具有1亿活跃参数和7亿总参数的专家混合型大型语言模型（LLM），于2024年9月发布。该模型在成本相似的模型中表现卓越，与更大的模型如Llama2-13B竞争。OLMoE完全开源，支持多种功能，包括文本生成、模型训练和部署等。

开源的专家混合语言模型，具有1.3亿活跃参数。

OLMoE是一个完全开放的、最先进的专家混合模型，具有1.3亿活跃参数和6.9亿总参数。该模型的所有数据、代码和日志都已发布。它提供了论文'OLMoE: Open Mixture-of-Experts Language Models'的所有资源概览。该模型在预训练、微调、适应和评估方面都具有重要应用，是自然语言处理领域的一个里程碑。

AI助手，简化代码审查流程

pr-agent是CodiumAI推出的一款AI助手工具，旨在帮助开发者更快速、高效地审查代码。它能够自动分析提交和PR，并提供多种反馈，如自动生成PR描述、主题反馈、安全问题、代码建议等。该工具支持多种编程语言，并且是开源的，可在GitHub上找到。它通过简化代码审查流程，提高软件质量，是开发团队和个人开发者的得力助手。

使用AI技术，快速总结网站法律政策。

DocDecoder是一款Chrome浏览器插件，利用GPT-4技术，为用户提供网站法律政策的清晰、简洁摘要。它通过颜色编码直观地突出显示对用户有实际影响的条款，包括积极、消极和中性影响。用户可以输入任何法律政策的URL，DocDecoder会告诉用户它如何影响他们。此外，它还标记出潜在有害的条款，并允许用户无限次查看现有的摘要。DocDecoder旨在帮助用户快速理解他们在网上实际同意的内容。

数字分心时代的专注力伴侣

Productiv. 是一款旨在消除数字干扰并恢复用户专注力的生产力应用。在充满干扰的世界中，Productiv. 帮助用户通过减少不必要的分心，培养健康的屏幕使用习惯，从而提高工作效率。产品通过AI辅助的日程规划、任务管理、专注模式等功能，帮助用户更好地管理时间，提升生产力。

高效编码的开源大型语言模型

Yi-Coder是一系列开源的代码大型语言模型（LLMs），在少于100亿参数的情况下提供最先进的编码性能。它有两种尺寸—1.5B和9B参数—提供基础和聊天版本，旨在高效推理和灵活训练。Yi-Coder-9B在GitHub的代码库级别代码语料库和从CommonCrawl筛选的代码相关数据上，额外训练了2.4万亿高质量token。Yi-Coder在多种编程任务中表现出色，包括基础和竞技编程、代码编辑和仓库级完成、长上下文理解以及数学推理。

为开发者、团队和企业提供专业工具

JetBrains 是一家知名的软件开发工具和服务提供商，提供了一系列针对不同编程语言和开发平台的集成开发环境（IDE）和工具。这些工具以其强大的代码分析、智能提示、快速导航和丰富的插件生态系统而闻名，旨在提高开发者的生产力和代码质量。JetBrains 的产品广泛应用于企业级软件开发，帮助团队提升开发效率，减少错误，加速产品上市时间。

精选全球AI前沿科技和开源产品

漫话开发者 - UWL.ME 是一个专注于人工智能前沿科技和开源产品的平台，提供最新的AI技术动态、开源产品介绍、以及相关领域的深度分析。它不仅为开发者和科技爱好者提供了一个获取信息的渠道，也为行业内部人员提供了交流和学习的平台。

无需编写代码，快速构建AI工作流

BuildEL是一个无需编写代码即可构建AI工作流的平台，它通过提供多种模块和接口，支持用户快速搭建复杂的工作流程。该产品特别适合需要快速实现自动化任务和提升工作效率的企业和个人。BuildEL的开源特性使得用户可以自由地在本地部署和贡献代码，同时支持多种接口和模块，满足不同场景的需求。

一个用于与ChatGPT模型交互的提示集合

Awesome ChatGPT Prompts是一个开源仓库，收集了用于与ChatGPT模型交互的提示示例。这个仓库鼓励用户添加自己的提示，并使用ChatGPT生成新的提示。

RWKV v6 Finch 14B，开源大模型，高效处理长文本。

RWKV v6 Finch 14B是RWKV架构的第六个版本，也是该系列中最大的模型。它通过引入数据依赖性到token shift和time-mixing中，提高了处理长文本时的效率。Finch 14B模型在处理提示时，能够更好地管理其长期记忆，从而提供更广泛的应用范围。该模型是开源的，由Linux Foundation认可，并且接受社区的GPU集群时间捐赠以支持训练。

WPS Office for Linux，一站式办公解决方案。

WPS Office for Linux是金山办公软件针对Linux操作系统推出的办公软件套件，提供文字、表格、演示等多种办公组件，支持多种文件格式，具备丰富的功能，旨在提升用户的办公效率。它支持多语言界面，拥有强大的文件兼容性和稳定性，适用于个人和企业用户。

开源多模态大型语言模型，支持实时语音输入和流式音频输出。

Mini-Omni是一个开源的多模态大型语言模型，能够实现实时的语音输入和流式音频输出的对话能力。它具备实时语音到语音的对话功能，无需额外的ASR或TTS模型。此外，它还可以在思考的同时进行语音输出，支持文本和音频的同时生成。Mini-Omni通过'Audio-to-Text'和'Audio-to-Audio'的批量推理进一步增强性能。

基于大型语言模型的高性能MacOS聊天应用

ChatMLX是一款现代、开源、高性能的MacOS聊天应用程序，基于大型语言模型构建。它利用MLX的强大性能和苹果硅芯片，支持多种模型，为用户提供丰富的对话选择。ChatMLX在本地运行大型语言模型，以确保用户隐私和安全。

利用AI技术，重塑笔记组织方式，激活你的知识体系。

枝叶是一款基于金字塔原理设计的在线知识管理工具，旨在帮助用户将碎片化知识整理成清晰有序的结构。它通过AI技术辅助用户高效记录灵感、一键梳理大纲和要点、深度洞察知识脉络，全面激活用户的知识体系。该平台特别适合需要整理大量信息、提升知识管理效率的用户，无论是学生、研究人员还是专业人士，都能从中受益。