搜索结果：v（1093 个）

Scastie 是可在浏览器中直接运行的 Scala 交互式 Playground（类似网页版 sbt）。它解决了本地搭建 Scala 环境繁琐的问题，支持任意 Scala 版本、多后端（Scala 3、Scala.js 等）及公开库依赖检索。核心功能包括类似 IDE 的 worksheet 模式、代码在线分享与网页嵌入。

Woof 是一个专为 Scala 3 和 Cats Effect 设计的纯函数式日志库。它解决了传统日志工具依赖运行时反射的问题，完全基于宏实现，并通过普通 Scala 代码进行配置。核心功能包括支持跨平台（JVM、Scala.js、Native）、结构化日志，以及提供 http4s 和 SLF4J 适配扩展。

支持上下文导航、模糊选择器、LSP 符号跳转等功能的代码导航插件。

zio-json 是专为 Scala 生态打造的高性能、安全型 JSON 库，与 ZIO 紧密集成。它解决了传统 JSON 库编译慢、抵御恶意载荷能力弱的问题，提供极快编解码速度、安全防护、清晰的报错信息与轻量设计，且跨平台支持 Scala.js 和 Scala Native。

适用于 Lua 和 JS 的 FiveM 资源与脚本库。

Zig 全栈 Web 框架，支持在 Zig 代码中直接编写类似 JSX 的 HTML 语法。

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 应用中的配置加载问题，核心特点是轻量级且可组合，让开发者能够以函数式的方式轻松管理和组合应用配置。

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

用于轻松管理 Neovim buffer 的轻量插件。

Elixir 语言的 JSON Schema 校验器。

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

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

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

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

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

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

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

DCS World 的面向对象任务脚本环境（MOOSE），基于 Lua 开发。