搜索结果：v（4004 个）

适用于 nvim-cmp/blink.cmp 的 Git 补全源。

LVIM IDE 是一个使用 Lua 编写的模块化 Neovim 配置，支持高度自定义。

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

Play-ReactiveMongo 是专为 Play Framework 开发的 MongoDB 插件。它集成了 ReactiveMongo 驱动，解决 Play 项目中异步操作 MongoDB 的需求，核心功能是为开发者提供响应式、异步且非阻塞的 Scala 数据库访问支持。

Ciris 是一个专为 Scala 打造的函数式配置加载库。它旨在解决 Scala 应用中的配置加载问题，核心特点是轻量级且可组合，让开发者能够以函数式的方式轻松管理和组合应用配置。

直接在 Neovim 中跨 GitHub、GitLab、Bitbucket 和 Jira 审查 PR 并管理 Issue。

使用 Nerves 框架的小型示例程序集。

〔中文简介暂未生成〕 Manage Gitlab resources in Neovim

Elastiknn 是一个基于 Scala 开发的 Elasticsearch 向量检索插件。它主要解决在 ES 中进行高维向量相似度检索的需求，支持存储稠密浮点向量和稀疏布尔向量，并能利用精确或近似（ANN）算法运行最近邻搜索，适用于图像检索和语义文本搜索等场景。

Evision：OpenCV 的 Erlang/Elixir 语言绑定。

Elixir 语言的 JSON Schema 校验器。

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

bitcoin-s 是基于 Scala 语言、运行在 JVM 上的比特币与闪电网络开发工具包。它主要解决在 JVM 环境下构建加密货币应用的开发需求，核心功能涵盖比特币核心协议实现、加密算法、节点管理、链上钱包与 DLC 钱包，以及对 bitcoind、LND 等 RPC 的集成支持。

sbt-war（前身为 xsbt-web-plugin）是一款专为 sbt 打造的插件，主要解决 Scala/Java Web 项目在 sbt 环境下的打包与本地运行问题。它支持将源码、依赖库及静态资源一键打包为标准 WAR 文件，并提供便捷的本地启动（warStart）与停止（warStop）运行功能。

DeFi Saver 生态系统的全部相关智能合约仓库。

Mouse 是 Cats 和 Scala 标准库的轻量级伴生扩展库。它主要解决日常开发中常用类型语法表达不够便捷的问题，为 Boolean、String、Option、Try 及嵌套容器等提供了丰富的扩展方法，让基础数据类型与函数式编程的结合更顺畅。

layoutz 是一个轻量、零依赖的 Scala 命令行美化与 TUI 库，用于解决业务逻辑中字符串格式化代码泛滥的问题。它提供声明式 DSL，支持 ANSI 样式、表格、图表、列表等排版原语，并内置 Elm 架构用于开发交互式终端应用，兼容 JVM、JS 和 Native。

blaze 是一个基于 Scala 的高性能异步网络 I/O 与 HTTP 微框架，也是 http4s 的底层网络引擎。它旨在解决高效处理异步网络通信的问题，核心功能包括基于 Java NIO 的拉取式异步管道、类型安全处理流、SSL 支持，以及 HTTP/1.x 和 HTTP/2 编解码与基础客户端/服务端实现。

Morpho 的浮动利率借贷市场协议。

redis4cats 是一个 Scala 版的 Redis 客户端，基于 Cats Effect、Fs2 和 Java 异步客户端 Lettuce 构建。它解决了在函数式编程中安全、异步操作 Redis 的需求，提供纯函数式的 Effects API 与 Streams 流式处理支持，适用于生产环境。