Void

7个月前发布 7 00

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

收录时间:
2025-05-30

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

数据统计

相关导航

SWE-RL

SWE-RL

SWE-RL 是由 Facebook Research 提出的一种基于强化学习的大型语言模型推理技术,旨在利用开源软件演变数据提升模型在软件工程任务中的表现。该技术通过规则驱动的奖励机制,优化模型的推理能力,使其能够更好地理解和生成高质量的代码。SWE-RL 的主要优点在于其创新性的强化学习方法和对开源数据的有效利用,为软件工程领域带来了新的可能性。该技术目前处于研究阶段,尚未明确商业化定价,但其在提升开发效率和代码质量方面具有显著潜力。
coding-agent

coding-agent

Coding-agent 是一个开源的编程助手工具,旨在通过集成先进的编程辅助技术来简化开发者的任务。它使用了 LangGraph 代理技术,能够生成高质量的代码响应。该工具基于 Next.js 和 CopilotKit 构建,具有高效性和易用性。它适用于开发者在日常编程中快速解决问题、生成代码片段和优化开发流程。作为一个开源项目,它为开发者提供了一个灵活且可定制的编程环境,同时通过社区的力量不断优化和扩展功能。
Qwen2.5-Coder-1.5B-Instruct-GGUF

Qwen2.5-Coder-1.5B-Instruct-GGUF

Qwen2.5-Coder是Qwen大型语言模型的最新系列,专为代码生成、代码推理和代码修复而设计。基于强大的Qwen2.5,通过增加训练令牌至5.5万亿,包括源代码、文本代码基础、合成数据等,Qwen2.5-Coder-32B已成为当前最先进的开源代码大型语言模型,其编码能力与GPT-4o相匹配。此模型是1.5B参数的指令调优版本,采用GGUF格式,具有因果语言模型、预训练和后训练阶段、transformers架构等特点。
Skywork-o1-Open-PRM-Qwen-2.5-1.5B

Skywork-o1-Open-PRM-Qwen-2.5-1.5B

Skywork-o1-Open-PRM-Qwen-2.5-1.5B是Skywork团队开发的一系列模型,这些模型结合了o1风格的慢思考和推理能力。该模型专门设计用于通过增量过程奖励增强推理能力,适合解决小规模的复杂问题。与简单的OpenAI o1模型复现不同,Skywork o1 Open系列模型不仅在输出中展现出固有的思考、规划和反思能力,而且在标准基准测试中的推理技能有显著提升。这一系列代表了AI能力的一次战略性进步,将原本较弱的基础模型推向了推理任务的最新技术(SOTA)。
FastApply-7B-v1.0

FastApply-7B-v1.0

FastApply-7B-v1.0 是一个专为代码编辑任务设计的大型语言模型。它基于 Qwen2.5 Coder 架构,经过微调以实现快速、准确的代码修改功能。该模型能够快速生成完整的文件编辑,支持即时代码应用任务,特别适合集成到 AI 驱动的代码编辑器中。它在部署时表现出高吞吐量和高编辑准确率,速度可达约 150 tokens/second。该模型由 Kortix 开发,采用 Apache-2.0 许可证,旨在通过快速应用流程为数据生成和模型微调提供支持。
Blaze Code

Blaze Code

Blaze Code 是一款专为移动设备设计的 Python 集成开发环境(IDE),它允许用户随时随地编写、运行和调试 Python 代码。该产品的主要优点包括移动优先的设计理念、全面的 Python 开发环境支持以及离线编程能力。Blaze 旨在为开发者提供一个高效、便捷的移动编程解决方案,无论是在通勤途中、旅行中还是在任何需要快速编写代码的场景下都能使用。其开发者 Sarthak Developer 专注于提供优质的编程工具,以满足移动开发者的需求。

暂无评论

您必须登录才能参与评论!
立即登录
none
暂无评论...