Building formally proven, modern tooling for Ada/SPARK
Adarium Labs develops open-source libraries, frameworks, and tools for the Ada/SPARK ecosystem, with a focus on formal verification and modern developer experience. Our goal is to provide production-ready, formally proven software that serves both safety-critical industries (aerospace, railway, automotive) and mainstream developers.
Founded by a PhD in static code analysis for Ada, Adarium Labs brings academic rigor and industry expertise to modernize the Ada/SPARK tooling landscape. We believe that formal verification and developer productivity can coexist.
- CLI Framework - A formally proven command-line interface framework for Ada, inspired by Clap (Rust) and Cobra (Go), featuring subcommands, typed arguments, auto-completion, help generation, and more.
- DNS Server - A formally proven DNS server implementation in Ada/SPARK with support for modern protocols (DoH, DoT, DoQ)
- QUIC Implementation - A formally verified QUIC protocol implementation for safety-critical applications
- Web Framework - A modern, formally proven web framework with strongly-typed APIs and edge computing support
We're building Adarium Labs in the open and welcome contributors, users, and sponsors.
- 💬 Discuss: Open an issue or start a discussion in any of our repositories
- 🐛 Report bugs: Help us improve by reporting issues
- 💻 Contribute: Check out our
CONTRIBUTING.mdfiles - 🌟 Star: Show your support by starring our repositories
- 💰 Sponsor: Interested in funding or partnering? Contact us
Built with Ada/SPARK ❤️ for critical and mainstream applications