Ada @lemmy.ml

copacetic @lemmy.ml

4y ago

CuBit: A General-Purpose Operating System in SPARK/Ada