| edk2-uefi-shell | UEFI Shell from Tianocore EFI development kit |
| uefi-run | Directly run UEFI applications in qemu |
| uefi-firmware-parser | Tool for parsing, extracting, and recreating UEFI firmware volumes |
| uefitoolPackages.new-engine | UEFI firmware image viewer and editor |
| haskellPackages.bluefin | The Bluefin effect system |
| uefitool | UEFI firmware image viewer and editor |
| haskellPackages.bluefin-algae | Algebraic effects and named handlers in Bluefin |
| perlPackages.AudioCuefileParser | |
| haskellPackages.bluefin-random | The Bluefin effect system, random generators |
| perl5Packages.AudioCuefileParser | |
| haskellPackages.bluefin-contrib | The Bluefin effect system, user contributions |
| perl538Packages.AudioCuefileParser | |
| perl540Packages.AudioCuefileParser | |
| haskellPackages.bluefin-internal | The Bluefin effect system, internals |
| haskellPackages.bluefin_0_2_0_0 | The Bluefin effect system |
| haskellPackages.bluefin_0_2_4_0 | The Bluefin effect system |
| bluefish | Powerful editor targeted towards programmers and webdevelopers |
| haskellPackages.bluefin-internal_0_2_0_0 | The Bluefin effect system, internals |
| haskellPackages.bluefin-internal_0_3_2_0 | The Bluefin effect system, internals |
| OVMF | Sample UEFI firmware for QEMU and KVM |
| OVMFFull | Sample UEFI firmware for QEMU and KVM |
| ifrextractor-rs | Rust utility to extract UEFI IFR data into human-readable text |