搜索结果：pure（8 个）

响应式 Python Notebook，支持 SQL 查询、脚本执行、应用部署与 Git 版本管理，纯 Python 存储。

纯 Rust 构建的开源参数化 3D CAD 应用，支持桌面、Web 及 MCP 自动化调用。

〔中文简介暂未生成〕 Pure Scala Artifact Fetching

PureScript 是一种灵感源自 Haskell 并用 Haskell 编写的强类型编程语言。它主要解决 JavaScript 弱类型带来的开发隐患，核心功能是提供富有表现力的静态类型系统，并能直接编译成 JavaScript 代码运行。

PureConfig 是一个 Scala 配置加载库。它解决了手动编写繁琐且易错的配置解析样板代码的问题。核心功能是在编译期自动将 HOCON、Java `.properties` 或 JSON 格式的配置文件，映射转化为原生 Scala 的 case class、sealed trait 等类型，同时支持自定义类型扩展。

Argonaut 是一个基于纯函数式编程理念的 Scala JSON 库。它主要解决 Scala 开发者在处理 JSON 时的解析、生成与数据映射需求。核心功能包括 JSON 数据的解析、格式化输出与操作，并提供便捷的编解码器（codecs），支持 JSON 与 Scala 原生数据类型之间的相互转换。

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

纯 Unix shell 脚本编写的 ACME 客户端，用于自动化申请和管理 SSL / TLS 证书。