Ada@programming.dev to Programming@programming.dev · 8 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 · 8 months agomessage-square1fedilink
Ada@programming.dev to Programming@programming.dev · 10 months 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 · 10 months agomessage-square1fedilink
Ada@programming.dev to Programming@programming.dev · 11 months agoIronclad - an OS kernel in Adaplus-squareironclad.nongnu.orgexternal-linkmessage-square10fedilinkarrow-up17arrow-down10
arrow-up17arrow-down1external-linkIronclad - an OS kernel in Adaplus-squareironclad.nongnu.orgAda@programming.dev to Programming@programming.dev · 11 months agomessage-square10fedilink
Ada@programming.dev to Community Request@programming.devEnglish · 11 months agoCommunity for Ada and related techsplus-squareprogramming.devimagemessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1imageCommunity for Ada and related techsplus-squareprogramming.devAda@programming.dev to Community Request@programming.devEnglish · 11 months agomessage-square0fedilink