Sirius C*

From XionKB
Revision as of 04:51, 20 June 2024 by Alexander (talk | contribs) (image, not emblem)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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.