Opensource @programming.dev

Alphane Moon @lemmy.world

10mo ago

Ironclad OS crafts Unix-like kernel in Ada and SPARK