搜索结果：ide（37 个）

Lamdu 是一个用 Haskell 开发的下一代实时编程环境（结构化/投影编辑器）。它解决了传统文本代码编写易出错、反馈慢的问题，提供智能类型补全、自动括号处理，并在编写时实时显示每个子表达式的求值结果，且无需手动保存，极大提升了编程交互体验。

专为 AI 打造的 macOS 视频编辑器。

精选 500 个跨行业 AI Agent 实践案例，并提供开源实现链接。

开源 AI 音视频生成平台，支持自托管与 600+ 模型，无审查过滤，基于 MIT 协议。

完全基于 Rust 从零编写的开源非线性视频编辑器。

RayDP 解决了传统 AI 流水线中 Spark 数据处理与深度学习训练常需分设独立集群、数据流转慢且运维复杂的问题。 它支持直接在 Ray 集群上运行 Spark，允许开发者在单个 Python 程序中混合编写 PySpark 与 AI 库代码；还提供将 Spark DataFrame 转换为 Ray Dataset 的 API，通过 Ray 内存对象实现高效数据交互。

面向 iOS 27.x 的 MobileGestalt 编辑器，支持地区代码调整、设备预设、备份及 7 种语言。

基于 PyTorch 的前沿扩散模型库，支持图像、视频和音频生成。

精选 Claude Code 优质资源合集，汇集关于 Anthropic 编程伴侣 Agent 的各类精选内容（非官方）。

java-webauthn-server 是专为 Java 服务端打造的 WebAuthn 库，帮助服务端实现无密码的通行密钥（Passkey）认证。 核心功能包括：生成浏览器所需的注册/认证请求参数、严格校验客户端响应、验证认证器证明（Attestation），并提供无状态、线程安全的核心处理逻辑。

基于 Processing 理念的客户端 JS 库，用于创意 Web 编程与交互设计。

免费且功能强大的多功能工具，可帮助监控系统资源、调试软件以及检测恶意软件。

用于根据不同运行时环境执行特定分支逻辑的 PHP 工具库。

基于 Qt 开发的跨平台开源免费视频剪辑软件。

基于 Source 2 与最新 .NET 的现代化游戏引擎与编辑器。

提供前端、后端、DevOps 等方向的交互式学习路线图与指南，帮助开发者明确技术进阶与职业成长路径。

提供统一的功能测试方案，支持 LiveView 与静态非 LiveView 页面。