搜索结果：less（147 个）
按分类缩小范围
gluon
综合 40
用于构建基于 OpenWrt 的无线 Mesh 网络节点固件的模块化框架。
stainless
综合 40
Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。
doggo
综合 36
适用于 Phoenix 的无头（Headless）UI 组件库。
vutuv
综合 35
开源社交网络，是 LinkedIn、Facebook 和 X 的快速、安全且少打扰的替代品。
phoenix_test
综合 35
提供统一的功能测试方案，支持 LiveView 与静态非 LiveView 页面。
cats-tagless
综合 35
〔中文简介暂未生成〕 Library of utilities for tagless final encoded algebras
case-app
综合 35
case-app 是一个 Scala 命令行参数解析库。它允许开发者直接用样例类（case class）字段来定义选项，自动完成参数解析并生成帮助信息。核心功能包括支持子命令、Shell 补全、注解定制帮助，以及跨 JVM、Scala.js 和 Scala Native 运行。