Name Category Description
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
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
semigroups dev-haskell Anything that associates
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

Thank you!