HNGlance

Top Best New Show

AdaCore Announces Gnat Pro for Rust

https://www.adacore.com/press/adacore-announces-gnat-pro-for-rust

by conradludgate • 3 years ago

4 4 3 years ago

AD

Related Stories

Loading related stories...

Comments

4

conradludgate2• 3 years ago

It seems like this is a commercial LTS fork of Rust. I hope they contribute funds upstream. Currently with their silver membership in the Rust Foundation it's only $15,000pa

thesuperbigfrog2• 3 years ago

They are also contributing to Rust standardization efforts through the Ferrocene project which aims to create a validated Rust toolchain for safety-critical applications:

https://ferrous-systems.com/blog/ferrous-systems-adacore-joi...

conradludgate2• 3 years ago

It seems they left the Ferrocene project recently https://ferrous-systems.com/blog/ferrocene-update/

Source preview

adacore.com

HNGlance

© 2024-2026 HN Glance. Story content belongs to its original sources.

Privacy
Terms