Sirius C*

From XionKB
Jump to navigationJump to search
This article is a stub. You can help by expanding it.
Sirius C*
Created by Alexander Nicholi
Written in C, C*
OSes Sirius DOS
ISAs i286
Licence ASL 1.1

Sirius C* is an experimental compiler created to prove the feature conjectures of the C* programming language. It leverages Oración as its assembler backend and is a derivative of the Feeble C compiler.