A New Era for Ada/Spark Open Source Community | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		A New Era for Ada/Spark Open Source Community (adacore.com)
		24 points by synack on June 2, 2022 \| hide \| past \| favorite \| 1 comment

pyjarrett on June 2, 2022 [–]

Alire really is a game changer. In maybe 5 minutes you can have a toolchain setup for building Ada code. On top of this, since Ada/SPARK can be mingled and Alire is a package manager, you can pull in plain Ada code and also formally proved (SPARK) crates.

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact