搜索结果：efi（8 个）
按分类缩小范围
GenericAgent
综合 78
自进化 Agent，从 3.3K 行种子代码扩展技能树，以 1/6 的 Token 消耗掌控系统。
earthly
综合 67
融合 Dockerfile 与 Makefile 语法的构建框架，支持快速、可重复构建。
refine
综合 66
灵活度极高的 React 框架，用于构建内部工具、管理后台、仪表盘和 B2B 应用。
audioplayers
综合 55
Flutter 音频播放包，支持全平台同时播放多个音频文件。
refined
综合 54
refined 是一个 Scala 精细类型库。它通过类型级谓词约束数值范围，解决常规类型无法表达具体取值限制的问题。核心功能包括：在编译期通过宏校验字面量合法性并报错；在运行期校验动态数值；以及提供类型推断规则，支持在编译期安全转换兼容的精细类型。
liquidhaskell
综合 53
LiquidHaskell 是面向 Haskell 的形式化验证工具。它通过引入细化类型（Refinement Types）并结合 Z3 等 SMT 求解器，帮助开发者对代码逻辑进行严格的形式化验证。它可以作为 GHC 插件直接运行，从而在编译期检查程序性质并发现潜在错误。
sbt-eclipse
综合 51
〔中文简介暂未生成〕 Plugin for sbt to create Eclipse project definitions
autoprefixer
综合 47
基于 Can I Use 数据解析 CSS 并自动添加浏览器厂商前缀的 PostCSS 插件。