A fast, friendly TUI for browsing and installing Arch and AUR packages with built-in news and security scanning
obelyzk.rs — Verifiable AI engine built on STWO Circle STARKs. Provable inference for every model.
Provides an interface to working with the local OS installed on the HPC Center's web node.