Skip Navigation

InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)MA
maxr @ maxr @lemmy.ml
Posts
6
Comments
0
Joined
4 yr. ago

Ada @lemmy.ml
maxr @lemmy.ml

Ada/SPARK drone SW (In Russian)
Ada @lemmy.ml
maxr @lemmy.ml

Developing for Cortex MCUs on a Raspberry Pi
Ada @lemmy.ml
maxr @lemmy.ml

Object Oriented Programming in Ada
Ada @lemmy.ml
maxr @lemmy.ml

A template repo
Ada @lemmy.ml
maxr @lemmy.ml

Video FOSDEM 2021: Proving heap-manipulating programs with SPARK
Ada @lemmy.ml
maxr @lemmy.ml

FOSDEM 2021: Adding contracts to the Ada standard libraries