News for hackers. Stuff that matters.
Re:AdaCore Announces Gnat Pro for Rust by dgacmu on Saturday September 30, 2023 @08:03PM (#37721183)
I'm in a related area and I'd be pretty surprised if this is directly relevant -- are you doing ISO-9001 certification?

Right now, they're just offering rust, but with the ability to use it in a certified environment. In the future they plan to offer Ada+rust interop.

There are no comments on this comment yet.