搜索结果：efi（9 个）

用于创建和部署高频加密货币交易机器人的开源软件。

用于构建与优化高质量数据集及视觉 AI 模型的工具平台。

免费开源的数据清洗与整理工具，专用于处理并改善杂乱数据。

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

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

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

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

专用于固件分析、逆向工程与文件提取的安全分析工具。

用于简化 GitHub 界面并增加实用增强功能的浏览器扩展插件。