搜索结果：v（290 个）

开源 VPN 工具，注重速度、隐私保护与网络畅通，支持全主流桌面与移动平台。

让桌面窗口管理变得优雅的工具。

基于 Spring Boot 构建的通用文档/文件在线预览项目。

面向 PHP 的 HTML 转 PDF 生成工具。

〔中文简介暂未生成〕 Official upstream development repository for Cabal and cabal-install

支持在命令行创建和查看交互式备忘录（cheatsheet）的工具，方便速查常用系统命令选项。

使用 Web 技术创建 PDF 文档的工具。

适用于 Chrome、Firefox 和 Thunderbird 的扩展，支持用 Markdown 编写并在发送前渲染邮件。

阿里云计算平台团队出品、专为监控而生的高性能数据库连接池。

nix-vscode-extensions 解决了 Nixpkgs 中 VS Code 插件数量少且更新滞后的痛点。该项目通过每日自动抓取，为 VS Code 市场及 Open VSX 上的海量插件提供最新的 Nix 表达式封装（Flake），方便开发者用 Nix 管理并安装主流平台（Linux、Darwin）的插件。

积木报表：涵盖报表、大屏、仪表盘与 Chat2BI 的一站式开源数据分析平台。

为优秀的 Chrome 插件编写的中文说明书与推荐指南。

saw-script 是基于 Haskell 开发的软件分析工作台（SAW）。它主要解决多语言程序的形式化验证问题，支持对 C、Java、Rust 及 Cryptol 编写的代码进行形式化语义建模与推理。开发者可通过其专用的 SAWScript 脚本语言作为操作接口，结合 Z3 等 SMT 求解器完成代码的形式化验证。

针对传统 man 手册过于冗长复杂的问题，tldr 提供了由社区维护的命令行速查表。它摒弃繁杂说明，聚焦于最实用的命令示例，涵盖 Linux、macOS、Windows 等多系统的常用工具，帮助开发者迅速上手命令，支持多种客户端和网页查阅。

基于 AI 完整保留排版的 PDF 文档双语翻译工具，支持多种翻译服务与多端接入。

〔中文简介暂未生成〕 Native Scala mocking framework

ZIO Prelude 是专为 Scala 设计的轻量级函数式抽象库，可替代 Cats 或 Scalaz。它抛弃了传统复杂的函子层级，深度融合 Scala 子类型特性与 ZIO 生态，提供常用代数抽象与实用数据类型（如 NonEmptyList、Validation 等），帮助开发者更简单、务实地组合类型与处理数据。

中国程序员容易发音错误的单词汇总。

面向 AI Agent 的独立审计工具，可人工或自主运行以核验执行是否符合预期。

Claude Code 插件，可实时展示上下文用量、调用工具、运行中 Agent 和待办进度。