Sounio Compiler

Sounio

English · Ελληνικά — ξεκινήστε εδώ

Scientific computing with explicit uncertainty, units and effects — powered by a self-hosted compiler.

Research language — pre-1.0: Sounio is an active research platform. The compiler and standard library are under development. This is not production-ready software; expect breaking changes, incomplete surfaces, and documented limitations (KNOWN_LIMITATIONS.md).

Sounio is an epistemic systems language created by Demetrios Chiuratto Agourakis. Its scientific abstractions and compiler are developed together: measurements carry uncertainty, quantities carry dimensions, and computations declare effects. Explore the language, the compiler and a scientific library spanning eight research domains below.

Explore the science · Language reference · Explore the compiler · Start here

Science expressed in the program

A measurement has a value and an uncertainty. A quantity has a dimension. A computation has effects. Sounio makes these distinctions part of the program so that scientific assumptions can be inspected alongside the calculation.

Explore the scientific examples, the standard library and the science hub. Each application should be assessed against executable evidence for the current source revision.

A scientific library across disciplines

Sounio's standard library connects scientific domains with the language's uncertainty, units and effect systems. Explore the implementations and examples directly:

This map describes implemented source areas. Execution evidence belongs to the named example, compiler and target; the library is a research platform with coverage that varies by route. See tests, current CI and each domain's documentation for reproducible evidence.

Architecture

The compiler lives in this repository alongside the language. Follow the implementation from parsing and checking through intermediate representations, lowering and emission. Backend support is described by route and by tests of the current implementation.

Repository map

• self-hosted/ and bootstrap/: compiler and bootstrap paths.
• stdlib/, tests/, examples/ and demos/: libraries, regression evidence, examples and guided demonstrations.
• docs/ and artifacts/research/: technical documentation and research assets.
• website/ and site-next/: separate website implementations; ecosystem/ contains distributable templates.

Get started

The default bin/souc route selects Madaros; its committed prebuilt compiler is Linux x86-64. Apple Silicon also has a separate current-source native ARM64 build and real Metal execution route integrated in #2978; see the macOS ARM64 guide for its setup and limits. A clean checkout still needs the documented native artifact before the launcher can use that route. Inspect the selected artifact before running examples.

git clone https://github.com/Sounio-lang/sounio.git
cd sounio
export SOUNIO_STDLIB_PATH="$PWD/stdlib"
./bin/souc --version
./bin/souc info
./bin/souc check examples/hello.sio

For setup and route details, read INSTALL.md, Madaros status and the launcher. Historical setup notes can describe different artifacts; the selected compiler, host and source revision determine the route.

Read the evidence

Source, distributed binaries, individual test lanes and remote CI are separate evidence. When reporting a result, identify the source revision, selected compiler and test route.

• Current CI
• Releases
• Open issues

Honest Status

GPU/Pireus execution has evidence on scoped Spark routes. The generic GPU CLI path and each other backend require their own status; support is recorded per engine, target and source revision.

This status snapshot was reconciled against main at 06f927dbca57 on 22 October 2026. Follow the linked changes and current CI for subsequent source, target and execution evidence.

Compiler evolution note

The 2026 preprint (doi:10.22541/au.177067589.93635741/v1) describes a Rust-based compiler (v0.100.0) with Cranelift and LLVM backends. That compiler is now retired. The current compiler is Madaros (v0.80.0), self-hosted in Sounio, emitting native x86-64 ELF without LLVM. Cranelift and the v0.100.0 architecture are not part of the current codebase. Version numbering restarted at v0.1.0 for the self-hosted implementation; the preprint remains a historical design record, not a description of the current system.

Research and design

The scientific programme connects uncertainty, order and non-associative structure with executable models. Explore the founder’s intent, the language tour, research notes and the octonion associator example. Formal proof, numerical verification and empirical validation remain distinct forms of evidence.

Develop with Sounio

Start with a reproducible issue, a focused example or a documented compiler limit. See CONTRIBUTING.md for contribution guidance.

Created by Demetrios Chiuratto Agourakis. See the project credits for attribution and AI disclosure. For research citation, see CITATION.cff. Licensed under Apache-2.0.