搜索结果：v（1232 个）

`optics` 是一个 Haskell 库家族，旨在通过抽象接口来定义和使用 Lens、Traversal、Prism 等光学元件（Optics）。它功能上与著名的 `lens` 库相当但采用了不同的设计，并提供极小依赖的核心库、TH 代码生成扩展及兼容工具。

解决 VPN 开启时导致的 WSL 2 网络连接受阻问题。

texmath 是一个用于数学公式格式转换的 Haskell 库。它支持在 TeX math、MathML 和 OMML 之间相互转换，并能输出为 Typst、Gnu eqn、StarMath 及 Pandoc 原生格式。除作为代码库使用外，它还可编译为命令行工具或提供 JSON API 的 Web 服务。

基于 C++11 开发的高性能流媒体服务与客户端框架，支持 WebRTC、RTSP、RTMP 等多种协议。

一个现代化、功能完备的 C 语言编译器。

用于 Web SSH 连接的终端工具。

基于 libretro API 的跨平台高级模拟器前端，采用 GPLv3 协议。

汇集全球光猫（ONT）访问、修改与配置教程的 Wiki 项目。

一款专为提升用户体验而设计的 Arch Linux Pacman 替代工具。

强力 dotfiles 配置，涵盖 Neovim、zsh、WezTerm、Hyprland，适配 NixOS 与 ArchLinux 等系统。

开箱即用的 .NET 开发 Neovim 插件，集成了 Roslyn LSP、调试工具与类似 Rider 的测试运行器。

使用 Zig 编写的桌面应用框架，支持 GPU 绘制的原生 UI 或 Web 前端。

专为 Neovim 打造的可视化 Git 插件。

使用 Zig 编写的 Git 替代工具。

流行的 Lua 单元测试框架，采用经典 xUnit 接口风格，支持多种输出格式。

面向 Roblox 游戏开发的模块加载引擎，提供统一易用的服务端与客户端模块。

Zig 语言的原生 PostgreSQL 驱动与客户端。

Windows 平台的快速原生终端，原名 winghostty。

基于 C++20 和 Lua 开发的模块化 Tibia 替代客户端，支持通过 Lua 脚本灵活定制游戏界面与功能。

Elixir 多服务商框架。