搜索结果：efi（59 个）

Giter8 是一个基于 Scala 开发的命令行脚手架工具。它主要解决项目初始化繁琐的问题，核心功能是直接拉取发布在 GitHub 或其他 Git 仓库中的模板，自动生成对应的项目目录与文件，常作为 sbt 插件用于快速搭建 Scala 等项目工程。

高性能 JSON Schema 验证器，支持多种规范草案及 JSON Type Definition（RFC8927）。

开发者必备的常用高级 TypeScript 类型集合。

微软定义的语言服务器通用协议规范（Language Server Protocol）。

高可扩展的 Ruby on Rails CMS，支持 Rails 6.1-8.1+ 及 Ruby 3.x-4.x。

实现“一次编译、到处运行”的 C 语言底层库。

快速创建并运行高度优化的 Windows、macOS 与 Linux 虚拟机工具。

Dokany 是一个 Windows 用户态文件系统库，相当于 Windows 版的 FUSE。它让开发者无需编写复杂的内核态驱动，就能直接在用户态创建自定义文件系统；同时自带 FUSE 包装器，支持将 Linux FUSE 文件系统无缝移植到 Windows。

为 HTTP 规范提供面向对象封装层的 Symfony 组件。

一键将任意网页打包为轻量级桌面应用的工具，支持 macOS、Windows 和 Linux。

基于前后缀及排除规则进行文件过滤的 FilterIterator 实现。

Flutter 音频播放包，支持全平台同时播放多个音频文件。

为优秀的 Chrome 插件编写的中文说明书与推荐指南。

refined 是一个 Scala 精细类型库。它通过类型级谓词约束数值范围，解决常规类型无法表达具体取值限制的问题。核心功能包括：在编译期通过宏校验字面量合法性并报错；在运行期校验动态数值；以及提供类型推断规则，支持在编译期安全转换兼容的精细类型。

LiquidHaskell 是面向 Haskell 的形式化验证工具。它通过引入细化类型（Refinement Types）并结合 Z3 等 SMT 求解器，帮助开发者对代码逻辑进行严格的形式化验证。它可以作为 GHC 插件直接运行，从而在编译期检查程序性质并发现潜在错误。

hekate 是一款带图形界面（Nyx）的任天堂 Switch 引导加载程序（Bootloader）。它支持触控与手柄操作，核心用于引导 Switch 原生系统、CFW、Android 及 Linux，并提供 eMMC/emuMMC 备份恢复、SD 卡分区管理、USB 存储挂载及硬件信息查看等实用工具。

功能完备的自托管短链接生成与管理服务。

〔中文简介暂未生成〕 Plugin for sbt to create Eclipse project definitions

新一代多系统启动 U 盘制作解决方案，无需反复格式化即可直接启动镜像。

遵循 Material Design 设计风格的开源 Android 文件管理器。