About

Sounio is building software that communicates the quality of its own knowledge.

Sounio is a scientific programming language: statically typed, effect-annotated and self-hosted, with first-class epistemic types — for computation that must account for what it doesn’t know. Milestones still ahead are on the Sounio programming language roadmap.

Read Vision View Roadmap

DESIGN PRINCIPLE

A language for science should never erase provenance
or confidence signals just because a result reached a scalar.

Demetrios Chiuratto Agourakis

Demetrios Chiuratto Agourakis

Creator & Lead Architect

GitHub ORCID

Demetrios is a medical student and researcher at PUC-SP and São Leopoldo Mandic, specialising in biomaterials and regenerative medicine. With published work on Ollivier-Ricci curvature for complex networks and a submitted paper on octonion algebra (the 168 theorem), he created Sounio to bridge the gap between scientific rigour and computational practice — building the entire language, compiler, and standard library from scratch since December 2025 (compiler build Madaros v0.80.0).

The name “Sounio” reflects both personal heritage and architectural philosophy: Cape Sounion (Σουνιο), where ancient Greek mariners made crucial decisions at the boundary of known waters, embodies the epistemic boundary where certainty meets uncertainty—a metaphor central to the language’s design.

CONTRIBUTORS

Dionisio Chiuratto Agourakis

Contributor