Sirius C*
From XionKB
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.
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.