| packages/nixpkgs/fiano | Go-based tools for modifying UEFI firmware |
| packages/nixpkgs/efitools | Tools for manipulating UEFI secure boot platforms |
| packages/nixpkgs/ifrextractor-rs | Rust utility to extract UEFI IFR data into human-readable text |
| packages/nixpkgs/gnomeExtensions.reboottouefi | Reboot system into UEFI |
| packages/nixpkgs/uefi-run | Directly run UEFI applications in qemu |
| packages/nixpkgs/python313Packages.edk2-pytool-library | Python library package that supports UEFI development |
| packages/nixpkgs/python314Packages.edk2-pytool-library | Python library package that supports UEFI development |
| packages/nixpkgs/uefitoolPackages.old-engine | UEFI firmware image viewer and editor |
| packages/nixpkgs/python312Packages.edk2-pytool-library | Python library package that supports UEFI development |
| packages/nixpkgs/uefitoolPackages.new-engine | UEFI firmware image viewer and editor |
| packages/nixpkgs/uefi-firmware-parser | Tool for parsing, extracting, and recreating UEFI firmware volumes |
| packages/nixpkgs/haskellPackages.bluefin | The Bluefin effect system |
| packages/nixpkgs/haskellPackages.bluefin-algae | Algebraic effects and named handlers in Bluefin |
| packages/nixpkgs/perlPackages.AudioCuefileParser | |
| packages/nixpkgs/haskellPackages.bluefin-random | The Bluefin effect system, random generators |
| packages/nixpkgs/perl5Packages.AudioCuefileParser | |
| packages/nixpkgs/uefitool | UEFI firmware image viewer and editor |
| packages/nixpkgs/haskellPackages.bluefin-contrib | The Bluefin effect system, user contributions |
| packages/nixpkgs/perl540Packages.AudioCuefileParser | |
| packages/nixpkgs/perl538Packages.AudioCuefileParser | |
| packages/nixpkgs/haskellPackages.bluefin-internal | The Bluefin effect system, internals |
| packages/nixpkgs/haskellPackages.bluefin_0_2_0_0 | The Bluefin effect system |
| packages/nixpkgs/haskellPackages.bluefin_0_2_4_0 | The Bluefin effect system |
| packages/nixpkgs/uefisettings | CLI tool to read/get/extract and write/change/modify BIOS/UEFI settings |
| packages/nixpkgs/bluefish | Powerful editor targeted towards programmers and webdevelopers |
| packages/nixpkgs/haskellPackages.bluefin-internal_0_2_0_0 | The Bluefin effect system, internals |
| packages/nixpkgs/haskellPackages.bluefin-internal_0_3_2_0 | The Bluefin effect system, internals |
| packages/nur/vizqq.thinkpad-uefi-sign | Tools to check and cryptographically sign UEFI firmware images found in ThinkPads |