Sirius C*: Difference between revisions

From XionKB
Jump to navigationJump to search
m (image, not emblem)
 
Line 1: Line 1:
{{stub}}{{infobox swproj
{{stub}}{{infobox swproj
|name=Sirius C*
|name=Sirius C*
|emblem=Sirius.jpg
|image=Sirius.jpg
|by=Alexander Nicholi
|by=Alexander Nicholi
|langs={{wp|C (programming language)|C}}, [[C*]]
|langs={{wp|C (programming language)|C}}, [[C*]]

Latest revision as of 04:51, 20 June 2024

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.