搜索结果：at（888 个）

代码生成与项目补丁框架。

适用于 Windows、Linux 和 macOS 的轻量级跨平台模板。

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

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

cabal2nix 是一款能将 Haskell 的 Cabal 构建文件自动转换为 Nix 构建指令的工具，解决了在 Nix 生态中打包 Haskell 项目时的定义编写问题。它还包含用于生成 nixpkgs 中 `haskellPackages` 包集合的 hackage2nix 等核心组件。

基于 nanoui 的 Mac ⌘Space 启动器，支持应用启动、计算、面板内 Google 搜索建议、Grok 和 X。

Elixir 语言的 JSON Schema 校验器。

面向 Elixir 的轻量级资源池实现。

极简、完整且针对性能高度优化的宝可梦对战模拟引擎。

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

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

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

Quine 是一款专为实时流数据设计的流式图解释器。它能接入 Kafka、Kinesis 等事件流，将其动态构建为有状态的图结构；核心特色是“持续查询”（Standing Queries），可在图数据中实时监测复杂模式并在命中时触发操作，将计算结果实时流式输出。

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

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

Natchez 是一个面向 Scala 的函数式分布式链路追踪库。它结合 Cats 和 Cats-effect 生态，帮助开发者在微服务架构中追踪请求调用链路。核心功能是提供统一的追踪抽象，并支持接入 Jaeger、OpenTracing、Honeycomb 等后端工具进行监控与诊断。

scala3-example-project 是一个基于 sbt 构建的 Scala 3 示例项目。它主要解决开发者快速上手或迁移到 Scala 3 的环境配置问题。核心功能是提供开箱即用的标准配置，支持直接使用 sbt 进行编译、运行、测试及启动交互式 REPL，并附带项目搭建与配置调整指引。

Hydra 是基于 Haskell 开发的 Cardano 二层扩容方案，旨在降低交易延迟与成本并提升吞吐量。它实现了 Hydra Head 协议，核心提供兼容主网的 `hydra-node` 节点、直连 Cardano 节点能力、WebSocket/HTTP API 以及终端交互界面 `hydra-tui`。

vty 是一个用 Haskell 编写的高级终端界面（TUI）库，作为 ncurses 的现代化替代方案。它提供纯函数式的组合接口来构建终端图像，支持窗口自适应调整、鼠标交互、Unicode 多列字符及括号粘贴模式；其高效的渲染算法能最小化重绘区域，有效解决闪烁问题。

akka-persistence-cassandra 是一个基于 Apache Cassandra 的 Akka Persistence 插件。它解决了分布式系统中事件溯源和状态持久化的问题，核心功能是为 Akka 提供高可用、可复制的持久化日志（journal）和快照存储（snapshot store）。