搜索结果：v（3894 个）

Unfiltered 是一个用于处理 HTTP 请求的 Scala 工具包。它提供请求提取器与响应组合子等核心接口，支持绑定到 Netty 或 Servlet 容器（如嵌入式 Jetty），并原生支持异步处理、文件上传、JSON 处理及 WebSocket 服务。

混合即时/保留模式的 GPU 渲染 UI 框架，支持 macOS、WebAssembly、Linux 和 Windows 平台

kaitai_struct_compiler 是 Kaitai Struct 的官方参考编译器。它解决了不同编程语言中解析二进制格式需重复编写解析代码的问题。核心功能是将用 `.ksy` 声明式语言描述的二进制数据结构，自动编译生成 C++、Java、Python、Go、Rust 等多种目标语言的解析器代码，并提供开箱即用的访问 API。

一款高性能、开箱即用的 Neovim 代码补全插件。

Airframe 是一套专为 Scala 应用打造的基础组件库，解决日常开发中缺少轻量、统一工具链的问题。它提供了依赖注入与生命周期管理（DI）、JSON/MessagePack 序列化、日志工具、支持前后端同构的 RPC 框架，以及函数式测试框架 AirSpec 等核心功能。

sbt-scoverage 是一款用于 Scala 项目的代码覆盖率 sbt 插件。它通过对代码进行插桩，在运行测试时统计覆盖率，并生成直观的 HTML 和 XML 格式报告；还支持多项目数据聚合，以及通过正则或注释排除指定的类、包和文件。

基于 Zig 的 Web 框架，利用依赖注入构建整洁、模块化的应用。

scala-cli 是一个用于 Scala 语言的命令行交互工具。它简化了非多模块项目的构建流程，支持直接编译、运行、测试和打包 Scala 代码。从 Scala 3.5.0 起，它已正式成为官方的 `scala` 命令运行器，开箱即用。

用于扩展和自定义 a/i 文本对象的 Neovim Lua 插件，属于 mini.nvim 系列。

为 Neovim 打造的 Haskell 开发体验增强插件。

用 Zig 编写的高速智能编程框架，支持多服务商、MCP、工作流及 TS/Python SDK。

社区驱动的 zsh 配置管理框架，拥有超 2500 位贡献者，内置 300 多个可选插件与主题。

受 Magit 启发的 Neovim 交互式、功能强大的 Git 客户端。

用于管理文件系统及其他树状结构的 Neovim 插件。

Cats 是一个基于 Scala 的轻量、模块化且可扩展的函数式编程库。针对 Scala 标准库兼顾面向对象的混合特性，它提供纯粹、高效、易上手且二进制兼容的函数式编程核心抽象，旨在为 Scala 纯函数式生态奠定基础，无需懂范畴论即可使用。

Zig 语言服务器，支持自动补全、跳转到定义等开发辅助功能。

Tamarin prover 是一个用 Haskell 开发的安全协议验证工具。它主要解决网络和安全协议的安全性分析与形式化验证问题。核心功能包括支持复杂协议的模型构建与分析、提供图形化输出展示、内置大量协议案例，并配套 Tree-sitter 语法及常见编辑器的语法高亮支持。

通过增强的 Tab 作用域管理，革新你的 Neovim Tab 工作流。

用于改善 Neovim 中 Markdown 浏览与渲染效果的插件。

Knative 各组件的官方用户文档仓库。