a language focused on safety without the pain of the borrow checker!

a language used as an experiment in separation checking!

a microkernel and operating system targetting risc v!