BitC, a low-level, formally verifiable programming language developed as part of the Coyotos operating system
Coyotos |