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.
