| edk2-ovmf |
sys-firmware |
UEFI firmware for 64-bit x86 virtual machines |
| ghc |
dev-lang |
The Glasgow Haskell Compiler |
| ipxe |
sys-firmware |
Open source network boot (PXE) firmware |
| mlton |
dev-lang |
Standard ML optimizing compiler and libraries |
| nats |
dev-haskell |
Natural numbers |
| parsers |
dev-haskell |
Parsing combinators |
| sbt |
dev-java |
sbt is a build tool for Scala and Java projects that aims to do the basics well |
| scala |
dev-lang |
The Scala Programming Language |
| seabios |
sys-firmware |
Open Source implementation of a 16-bit x86 BIOS |
| sgabios |
sys-firmware |
serial graphics adapter bios option rom for x86 |
| sigrok-firmware-fx2lafw |
sys-firmware |
Firmware for Cypress FX2 chips for use as simple logic analyzer hardware |
| vgabios |
sys-firmware |
VGA BIOS implementation |
