OVMF
Sample UEFI firmware for QEMU and KVM
OVMFOVMF
Sample UEFI firmware for QEMU and KVM
OVMFFullbootspec-lix
Vendor-neutral implementation of RFC-0125's datatype and synthesis tooling
bootspec-lixcairo
Turing-complete language for creating provable programs for general computation
cairo-langcapnproto
Cap'n Proto cerealization protocol
capnprotocircom
zkSnark circuit compiler
circomcppcodec
Header-only C++11 library for encode/decode functions as in RFC 4648
cppcodeccryptsetup
LUKS for dm-crypt
cryptsetupdiffoscope
Perform in-depth comparison of files, archives, and directories
diffoscopediffoscope
Perform in-depth comparison of files, archives, and directories
diffoscopeMinimalemscripten
LLVM-to-JavaScript Compiler
emscriptenexabgp
BGP swiss army knife of networking
exabgpg3proxy
Enterprise-oriented Generic Proxy Solutions
g3proxygit-pw
Tool for integrating Git with Patchwork, the web-based patch tracking system
git-pwkeepalived
Routing software written in C
keepalivedlibnitrokey
Communicate with Nitrokey devices in a clean and easy manner
libnitrokeylibucontext
ucontext implementation featuring glibc-compatible ABI
libucontextlistmonk
High performance, self-hosted, newsletter and mailing list manager with a modern dashboard
listmonklix
Powerful package manager that makes package management reliable and reproducible
lixlix
Powerful package manager that makes package management reliable and reproducible
lixPackageSets.git.lix