Xiom
Fiscal Host: Open Source Europe
XIOM is an open-source systems language with contracts enforced by the compiler, not just documentation. Sponsorship funds the compiler, standard library, toolchain and maintaining/growing packages on registry that make it possible.
Today's Balance
€0.00
Contribute
Become a financial contributor.
Financial Contributions
Custom contribution
💙 Support XIOM
Make a one time or recurring contribution in any amount. Every contribution helps keep XIOM open, independent, and available for people to use, st... Read more
Recurring contribution
🧩 XIOM Backer
Help keep XIOM open and running. Your contribution supports the infrastructure behind the compiler, playground, registry, documentation, and commun... Read more
€5 EUR / month
Recurring contribution
âš¡ XIOM Sponsor
Become a regular supporter of XIOM and help fund the ongoing development and maintenance of the language and its ecosystem. Sponsors help provide ... Read more
€15 EUR / month
Xiom is all of us
Our contributors 2
Thank you for supporting Xiom.
Connect
Let’s get the ball rolling!
News from Xiom
Updates on our activities and progress.
XIOM is now public!
XIOM is an open systems programming language built around explicit intent, memory safety, contracts, verification tooling and predictable execution. The project includes: compiler and toolchain standard library documentation and specificati...
Published on September 29, 2026 by Lefteris Notas
About
Our StoryÂ
XIOM started with a question.Â
As AI assisted coding became part of everyday software development, it seemed strange that programming languages had not really changed to account for it. Compilers still largely assume that a human wrote the code, understands the surrounding system, remembers its assumptions, and can catch the things that the type system cannot.Â
But many of the problems we care about are not type errors. They are misunderstandings.Â
A value should never be negative. An input must satisfy a certain condition. A function must preserve an invariant. A resource must remain owned correctly. An unsafe operation must stay inside a controlled boundary.Â
Those rules are often left in documentation, comments, or in the programmer's head.Â
XIOM grew from the idea that important intent should be part of the program itself.Â
Contracts such as requires, ensures, and invariant are part of the language. They can be enforced during execution and can also be exposed to verification tooling for properties that can be analyzed formally. The same rules apply whether the code was written by a person or generated by an AI model.Â
That led to another question: What happens when an AI is asked to program in a language it has never seen before?Â
Instead of assuming the model already knows everything, XIOM gives agents ways to discover the language through its own ecosystem. With documentation retrieval and XIOM's MCP tooling, an agent can look up language features, standard library functions, packages, and other context instead of relying entirely on memory.Â
What started as a language design project has grown into a complete ecosystem around that idea: the XIOM compiler and toolchain, a growing standard library, a package registry, an interactive playground with hundreds of lessons, and tooling for native, JIT, and scripting workflows.Â
The project is built and maintained from Kastoria, Greece, with support for modern desktop and server environments including Windows, Linux, macOS, and WebAssembly.Â
Today, XIOM is still evolving. That is part of the point. The language, compiler, ecosystem, and AI experiments are being developed in the open so that other people can inspect them, test them, criticize them, and contribute to where they go next.Â
Our PurposeÂ
This collective exists to help keep XIOM open, independent, and available to anyone who wants to use or experiment with it.Â
Contributions help fund the infrastructure that keeps the project running, including hosting, CI/CD, the package registry, the playground, documentation, release infrastructure, and other services that are easy to overlook but essential to an open source language.Â
XIOM is released under the MIT and Apache 2.0 licenses. The goal is not to build a closed platform around the language, but to create an open ecosystem that others can use, study, extend, and build on.Â
A major part of the project is also transparency.Â
When we publish benchmark results, the goal is not to present a marketing number and ask people to trust it. The benchmark environment, source code, generated programs, configurations, and raw results are being built so that others can reproduce the experiments themselves.Â
The same principle applies to the language itself. The specification, compiler, tooling, and ecosystem are being developed as openly as possible.Â
As XIOM grows, this collective is intended to provide a path toward a broader community around the project and, eventually, toward a more formal open source foundation.Â
For now, the purpose is simple:Â
Keep XIOM open. Keep it running. Keep it testable. And give the project room to grow.Â
Our team
Eleni Tzifonota
Admin