Sirius
www.sirius-lang.org- Category
- Developer Tools
- Rank
- No. 3545Tools index
Previous survey · No. 3385 ·
- Type
- TOOL
- Use case
- Coding
- Interfaces
- Web
- 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 does
The site, written as a September 2026 essay, presents Sirius as a small language for looping over arrays where the compiler checks sizes and index ranges before the program runs. It says loops are limited to fixed polynomial bounds, with no while loops or recursion, and calls the embedded compiler a prototype frontend.
Stated on the product site
- Paradigm
- Imperative, total, polynomially bounded array language
- Try it
- Live editor with a prototype compiler frontend embedded in the page
- Type system
- Value-dependent types with polynomial refinement, after Dependent ML
- Control flow
- While loops and recursion cannot be expressed; only bounded for loops
- Diagnostics
- Type errors give disproofs or counterexamples when possible
Not stated on the site
- The page does not say how to install the compiler or run it outside the browser.
- The page does not describe a backend, target hardware, or how compiled programs perform.
- The page does not state a license or whether the compiler source is published.
- Interop with PyTorch or other tensor libraries is not described on the page.
Written from the product site at sirius-lang.org.
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.