搜索结果：v（3958 个）

使用 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 流式处理支持，适用于生产环境。

`network` 是 Haskell 的底层网络接口库。它为开发者提供基础的套接字（Socket）编程能力与系统级网络通信接口，支持跨平台（包括 Windows 与类 Unix 系统）构建底层网络应用。

《小丑牌》（Balatro）大型 Mod，将所有小丑牌替换为了宝可梦。

适用于 macOS、Arch Linux 和 Debian/Ubuntu 的 dotfiles 配置，含 Neovim。

开源社交网络，是 LinkedIn、Facebook 和 X 的快速、安全且少打扰的替代品。

Baker 是一个微服务业务流程编排库。它基于 Petri 网概念，解决复杂微服务调用与流转难以管理和协同的问题。核心功能是提供 Java/Kotlin/Scala DSL 将流程声明为由交互、数据和事件组成的“配方”，支持可视化展示，并能跨团队复用交互组件。

《小丑牌》（Balatro）的 PvP 多人联机对战 Mod。