Ada@programming.dev to Programming@programming.dev · 10 months ago[Programming Languages] Episode 16 - First Impression - Adaplus-squareyoutu.beexternal-linkmessage-square1fedilinkarrow-up122arrow-down12
arrow-up120arrow-down1external-link[Programming Languages] Episode 16 - First Impression - Adaplus-squareyoutu.beAda@programming.dev to Programming@programming.dev · 10 months agomessage-square1fedilink
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-square9fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkIronclad - an OS kernel in Adaplus-squareironclad.nongnu.orgAda@programming.dev to Programming@programming.dev · 1 year agomessage-square9fedilink
