You Aren't Going To Write It.
Maxon makes a bet: the AI writes the code, and you read it. So the language optimizes for the reader, not the typist. Where another language is terse, Maxon is explicit — every constraint stated, every block named, nothing implicit to puzzle out later. The verbosity isn't a cost; it's the product.
A compiled language with a native x86-64 backend — written by AI, for AI. Its compiler, standard library, and docs were authored by AI coding agents.
function main() returns ExitCode
let port = Port{8080}
print("listening on {port}")
return 0
end 'main'The whole language was written by AI.
The compiler — a from-scratch native x86-64 backend — the standard library, and the documentation were all authored by AI coding agents. Maxon is a working demonstration of what agents can build end-to-end today: not a snippet, but a complete, self-hosting toolchain that produces real native executables.
- › Compiler, LSP, and stdlib authored by agents
- › Compiles to native PE / ELF — no LLVM, no VM
- › Self-hosting: Maxon compiles Maxon
Optimized for the reader, not the typist.
Most languages trade away clarity for keystrokes — terse syntax, implicit conversions, values that might be null. That trade made sense when a human typed every character. It doesn't anymore. Maxon spends the keystrokes so the reader never has to guess: constraints are stated, structure is named, and there are no silent failures to trace. The same explicitness that makes it easy to read makes it hard to get wrong.
Constraints in the type system
// Domain constraints live in the type system, not in comments.
typealias Port = int(0 to 65535)
typealias Percentage = float(0.0 to 100.0)
typealias VectorIndex = int(0 to 5500)
// Constructing an out-of-range value is a compile error,
// so an agent can't silently produce an invalid one.
let port = Port{8080}No null to forget
// No null. Fallible reads must be resolved explicitly
// with try ... otherwise — there is no value to forget
// to check, so "forgot the null check" bugs can't occur.
for col in 0 upto dimension 'inner'
let value = try inputVector.get(col) otherwise 0.0
accumulator = accumulator + value
end 'inner'Unambiguous structure
// Every block names what it closes. Structure is
// unambiguous to read back — for a human or a model.
while iteration < 10 'iterate'
applyAtA(previous, inputVector: current, dimension: size)
iteration = Iteration{iteration + 1}
end 'iterate'A serious language underneath.
The AI story only holds up because the compiler does. Maxon is a real, fast, statically-typed, compiled language.
Free and open source
The entire project — compiler, standard library, language server, and tooling — is open source under MIT and Apache-2.0. Read it, fork it, build on it.
Native x86-64 backend
Compiles straight to PE and ELF executables with a from-scratch code generator — no LLVM, no VM, no external runtime.
Reference-counted memory
Deterministic cleanup the moment a value is no longer referenced. No garbage collector, no pauses.
Strong inference + ranged types
Static typing that stays terse, with ranged type aliases that encode real domain bounds into the types themselves.
Diagnostics built for a feedback loop
Structured errors with stable codes — exactly the signal an agent uses to read a failure and correct itself.
First-class tooling
A custom Language Server and VS Code extension ship with the language: real-time diagnostics, completion, and hover.
Build it and run something.
Clone the repository, build the compiler, and compile your first program in a couple of commands.
$ dotnet build maxon-sharp $ bin/maxon build examples/basic.maxon
Written by AI — built in the open.
The whole project — compiler, standard library, language server, and docs — is open source under MIT and Apache-2.0. Contributions are welcome, whether that's a bug report, a patch, a clearer doc, or a real program written in Maxon.
Report a bug
A miscompile, a crash, a confusing diagnostic — open an issue with a minimal reproduction.
Improve the compiler
Fix bugs, sharpen diagnostics, or extend the standard library with a pull request.
Docs & examples
A language meant to be read lives on good explanations. Clarify docs, add examples.
Build something
Write a real program in Maxon and tell us what was awkward, missing, or worked.