搜索结果：efi（59 个）

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

用于定义和运行多容器 Docker 应用程序的官方工具。

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

提供易用的 Python API，针对 NVIDIA GPU 优化 LLM 高效推理加速。

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

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

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

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

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

〔中文简介暂未生成〕 User mode file system library for windows with FUSE Wrapper

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

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

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

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

高质量 TypeScript 类型定义仓库。

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

Windows 端轻量便捷的 OCR 工具，支持后台运行与通知功能。

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

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

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