Sirius
www.sirius-lang.org- Category
- Developer Tools
- Rank
- No. 2008Tools index
- Platform
- web
- Type
- TOOL
- Date
About
Sirius is an experimental imperative, total, polynomially-bounded programming language for array/tensor computation that uses a restricted dependent type system to statically prove array shapes and bounds at compile time, eliminating runtime shape errors without the complexity of full refinement types like Liquid Haskell. The page includes an embedded live editor with a working prototype compiler frontend so visitors can run and modify example programs (dot product, matrix multiplication) directly in the browser.
What it can do
Statically verify array shapes and bounds at compile time
Sirius source code → Compile-time shape/bounds verification result
Run example tensor programs in an embedded live editor
Example code (dot product, matrix multiplication) → Program execution output
Edit and execute modified programs directly in the browser
User-modified Sirius code → Compiled/executed program result
Tags
Comments (0)
No comments yet
Editorially curated, with community endorsements as a secondary signal. Corrections welcome.