gentoo
The official mirror the Gentoo ebuild repository (now in true git!)
ShellUpdated 6/19/2025
linux
Linux kernel source tree
CUpdated 6/14/2025
qemu-cheri
QEMU with support for CHERI
Updated 6/14/2025
cheribuild
Easily build and run CHERI related projects
Updated 6/3/2025
ejabberd
Robust, Ubiquitous and Massively Scalable Messaging Platform (XMPP, MQTT, SIP Server)
ErlangUpdated 6/3/2025