maxr to Ada · 4 years agoAda/SPARK drone SW (In Russian)plus-squarehabr.comexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkAda/SPARK drone SW (In Russian)plus-squarehabr.commaxr to Ada · 4 years agomessage-square0fedilink
maxr to Ada · 4 years agoDeveloping for Cortex MCUs on a Raspberry Piplus-squareforward-in-code.blogspot.comexternal-linkmessage-square1fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkDeveloping for Cortex MCUs on a Raspberry Piplus-squareforward-in-code.blogspot.commaxr to Ada · 4 years agomessage-square1fedilink
maxr to Ada · 4 years agoObject Oriented Programming in Adaplus-squareyoutu.beexternal-linkmessage-square0fedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkObject Oriented Programming in Adaplus-squareyoutu.bemaxr to Ada · 4 years agomessage-square0fedilink
maxr to Ada · 4 years agoA template repoplus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up16arrow-down10
arrow-up16arrow-down1external-linkA template repoplus-squaregithub.commaxr to Ada · 4 years agomessage-square0fedilink
maxr to Ada · 4 years agoVideo FOSDEM 2021: Proving heap-manipulating programs with SPARKplus-squareyoutu.beexternal-linkmessage-square0fedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkVideo FOSDEM 2021: Proving heap-manipulating programs with SPARKplus-squareyoutu.bemaxr to Ada · 4 years agomessage-square0fedilink
maxr to Ada · 4 years agoFOSDEM 2021: Adding contracts to the Ada standard librariesplus-squareyoutu.beexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkFOSDEM 2021: Adding contracts to the Ada standard librariesplus-squareyoutu.bemaxr to Ada · 4 years agomessage-square0fedilink
