搜索结果：v（239 个）

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

免费开源的 macOS 菜单栏实用工具箱。

文本编辑器 Vim 的官方开源代码仓库。

知名开发者播客 Changelog 的开源网站平台。

高性能 iOS 纯文本编辑器，支持语法高亮、行号及不可见字符显示等功能。

工业级、可控且高效的零样本（Zero-Shot）文本转语音（TTS）系统。

PureConfig 是一个 Scala 配置加载库。它解决了手动编写繁琐且易错的配置解析样板代码的问题。核心功能是在编译期自动将 HOCON、Java `.properties` 或 JSON 格式的配置文件，映射转化为原生 Scala 的 case class、sealed trait 等类型，同时支持自定义类型扩展。

一款后现代风格的模态终端文本编辑器。

一款优雅的骨架屏（Skeleton View）UI 库，用于在内容加载时向用户直观展示占位布局。

jsoniter-scala 是一个高性能的 Scala JSON 解析与序列化库。它通过 Scala 宏在编译期生成安全且极速的 JSON 编解码器（codecs），避免了运行时的反射开销；同时还提供 circe booster 加速模块，并支持 JVM、Scala.js 及 Scala Native 等多平台。

面向 Claude Code 与 AI Agent 的营销技能集，涵盖 CRO、文案、SEO、数据分析和增长工程。

仅需 5 秒即可克隆声音，并实时生成任意语音的开源工具。

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

基于 SSH 的轻量透明代理工具，免服务端管理员权限，支持 Linux、macOS 与 DNS 隧道。

Scribe 是一款专为 Scala 生态从零构建的超高性能日志库。它解决了传统日志依赖 Java 框架封装所带来的性能损耗及跨平台受限问题。核心亮点在于无需配置文件、支持纯代码化配置，利用宏在编译期深度优化性能，且原生支持 JVM、Scala.js 及 Scala Native 跨平台运行，同时兼容 SLF4J。

聚合小说、短剧等内容的 Android 客户端，Flutter + Rust 架构且无需 root。

专注于可扩展性和易用性的 Vim 分支版本。

Codex Computer Use 的开源替代实现。

refined 是一个 Scala 精细类型库。它通过类型级谓词约束数值范围，解决常规类型无法表达具体取值限制的问题。核心功能包括：在编译期通过宏校验字面量合法性并报错；在运行期校验动态数值；以及提供类型推断规则，支持在编译期安全转换兼容的精细类型。

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