Ada@programming.dev to Programming@programming.dev · 1 year agoAda and SPARK Propel Aerospace Innovationplus-squarewww.adacore.comexternal-linkmessage-square1fedilinkarrow-up110arrow-down11
arrow-up19arrow-down1external-linkAda and SPARK Propel Aerospace Innovationplus-squarewww.adacore.comAda@programming.dev to Programming@programming.dev · 1 year agomessage-square1fedilink
Ada@programming.dev to Programming@programming.dev · 1 year agoIronclad - an OS kernel in Adaplus-squareironclad.nongnu.orgexternal-linkmessage-square12fedilinkarrow-up153arrow-down12
arrow-up151arrow-down1external-linkIronclad - an OS kernel in Adaplus-squareironclad.nongnu.orgAda@programming.dev to Programming@programming.dev · 1 year agomessage-square12fedilink
