搜索结果：v（1227 个）

为 Obsidian 集成 Git 版本控制，支持自动提交与同步等高级功能。

用于 TypeScript 库开发的零配置 CLI 工具，开箱即用。

Agda 是一个基于依值类型（Dependent Types）的编程语言兼交互式定理证明器，使用 Haskell 开发。它主要用于类型理论研究和高可靠性程序验证，支持开发者编写严谨的程序代码，并利用其强大的类型系统进行数学定理的形式化交互证明、类型检查与编译。

**miso** 是一个基于 Haskell 的前端与移动端框架，受 Elm 和 React 启发，让开发者能用纯函数式语言编写 UI。 核心功能包括： 1. **MVU 架构与虚拟 DOM**：支持递归 diff 和高效更新。 2. **现代前端特性**：支持组件、生命周期、类型安全路由与事件委托。 3. **多目标编译**：通过 GHC 编译为 JS 或 WASM，支持 WASM 热重载。

面向各类 IDE 和代码编辑器的 Rust 语言编译器前端实现。

高性能网盘资源搜索 API 服务，支持 TG 频道及插件并发搜索、智能排序与网盘分类，支持 Docker 部署。

hledger 是一款用 Haskell 编写的纯文本复式记账工具，解决财务及时间记录难以版本化和跨平台管理的问题。它以纯文本格式存储数据，支持多币种、投资与发票追踪；提供 CLI、TUI 和 Web 界面，兼具极速处理性能与精准报表生成能力。

Scala.js 是一个将 Scala 语言编译为 JavaScript 的编译器。它旨在让开发者能够直接使用类型安全且功能强大的 Scala 语言编写前端或全栈应用，并将其转换为标准的 JavaScript 代码，从而在浏览器或 Node.js 环境中流畅运行。

专为响应式网页设计打造的定制浏览器，Web 开发者必备工具。

可扩展的 PHP HTTP 客户端。

Apache Pekko 是基于 Actor 模型的开源框架（源自 Akka 2.6.x 分支），旨在解决 Java/Scala 开发者构建高并发、分布式及弹性消息驱动应用的复杂难题。其核心通过高级并发抽象，提供持久化、流处理（Streams）和 HTTP 等配套库，支持构建高可用的分布式系统。

sbt-native-packager 是一个 sbt 插件，解决 Scala/Java 应用打包及系统部署繁琐的问题。它能直接将应用构建为原生格式，支持输出 zip/tar 压缩包、Debian/RPM 安装包、macOS DMG、Windows MSI 以及 Docker 和 GraalVM 原生镜像；同时提供开箱即用的启动脚本，并支持 Systemd 等服务管理配置。

sttp 是一款专为 Scala 设计的 HTTP 客户端库。它解决了 Scala 生态中网络请求调用繁琐、技术栈割裂的问题。核心功能包括：提供统一易用的 API，支持同步、Future 及各类函数式 Effect（如 cats-effect、ZIO）；兼容 OkHttp 等多种底层后端；支持 URI 插值、JSON 自动编解码、流式传输、文件收发与 WebSocket。

将 Go 语言编译为 JavaScript 的编译器，支持在浏览器中运行 Go 代码。

用于将 GitHub Copilot Agent 集成到应用和服务中的多平台 SDK

〔中文简介暂未生成〕 A minimal, idiomatic Scala interface for HTTP

现代文本绘图脚本语言，可直接将代码文本转换为直观架构图。

一个社区驱动的常用 Bash 框架。

对标 Hugging Face 的开源大语言模型（LLM）管理平台，提供开源、本地化部署及 SaaS 解决方案。

〔中文简介暂未生成〕 Lift Framework