Ada copacetic • Now • 100%

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

blog.adacore.com