搜索结果：v（1235 个）

基于 Go 开发的高性能 HTTP Web 框架，提供类似 Martini 的 API，性能表现优异。

面向 Obsidian 的 Agent 技能库，让 Agent 支持 Obsidian CLI 以及 Markdown、JSON Canvas 等开放格式。

用于构建可靠异步 Rust 应用的事件驱动运行时，提供 I/O、网络、任务调度及计时器支持。

面向 React 的性能优化编译器。

为 Kodluyoruz 制作的前端 101 视频教程配套代码仓库。

涵盖 Python、React、Git、Java 等多领域的 LinkedIn 技能评估测验参考答案合集。

VLESS/Trojan/Warp Worker 订阅 GUI 面板，含私有 DoH、链式代理与 DNS 路由配置。

基于 Android 调试 API 与百度地图的虚拟定位工具，支持自由移动的摇杆操作。

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

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

一款兼容 Git 的版本控制系统（VCS），兼具简洁操作与强大功能。

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

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

Terraform 的 AWS Provider 插件，支持通过代码自动化管理 AWS 云资源。

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

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

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

可扩展的 PHP HTTP 客户端。

CakePHP：PHP 快速开发框架官方仓库。

为应用提供国际化（i18n）支持的工具组件。