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 |