CuBit: A Gen­er­al-Pur­pose Oper­at­ing Sys­tem in SPARK/ Ada (2020) (adacore.com)
Operating Systems, Programming Languages, Ada, SPARK
11 points by kennysoona 14 days ago | 3 comments