Miden VM core library
obelyzk.rs — Verifiable AI engine built on STWO Circle STARKs. Provable inference for every model.
A fast, friendly TUI for browsing and installing Arch and AUR packages with built-in news and security scanning
Open OnDemand core library that provides support for an HPC Center to globally define HPC services that web applications can then take advantage of.