Tous les contenus étiquetés avec « adacore »

Lien AdaCore Announces Gnat Pro for Rust

Posté par Gil Cot ✔ (site web personnel, Mastodon) le 01 octobre 2023 à 00:59.

Étiquettes :

4

1

oct.

2023

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

Lien AdaCore and Ferrous Systems Joining Forces to support certified Rust for mission and safety-critical

Posté par Benoît Laurent (site web personnel) le 02 février 2022 à 12:27.

Étiquettes :

2

2

fév.

2022

https://www.reddit.com/r/rust/comments/sijixb/adacore_and_ferrous_systems_joining_forces_to/

Lien CryptAda : nuclear crypto on embedded device (finalist prize 'Make with Ada 19/20' competition)

Posté par bubar🦥 le 01 juillet 2020 à 08:04.

Étiquettes :

1

1

juil.

2020

https://blog.adacore.com/make-with-ada-2020-cryptada