搜索结果：lightweight（30 个）

Cats 是一个基于 Scala 的轻量、模块化且可扩展的函数式编程库。针对 Scala 标准库兼顾面向对象的混合特性，它提供纯粹、高效、易上手且二进制兼容的函数式编程核心抽象，旨在为 Scala 纯函数式生态奠定基础，无需懂范畴论即可使用。

面向现代 Web 的轻量且强大的服务器管理面板。

一款轻量级小工具，可将 Windows 任务栏设置为半透明或全透明。

多语言轻量级静态分析工具，使用类似源码语法的模式快速排查 Bug。

便携且轻量的跨平台桌面应用开发框架。

轻量级静态类型脚本语言。

轻量级 Ruby 语言实现。

适用于 NvChad 的轻量级高性能 UI 插件。

〔中文简介暂未生成〕 A language with lexical effect handlers and lightweight effect polymorphism

ZIO Prelude 是专为 Scala 设计的轻量级函数式抽象库，可替代 Cats 或 Scalaz。它抛弃了传统复杂的函子层级，深度融合 Scala 子类型特性与 ZIO 生态，提供常用代数抽象与实用数据类型（如 NonEmptyList、Validation 等），帮助开发者更简单、务实地组合类型与处理数据。