Check out our blog for details!

Subscribe for Updates

Secure Contracts
Secure Contracts

AxLang supports both imperative and functional programming, meaning it integrates with formal verification methodologies to mathematically prove the correctness of implementations.

Developer Focus
Developer Focus

The Domain Specific Language (DSL) used for AxLang is valid Scala, which means it can be compiled to the Java Virtual Machine (JVM) or the Ethereum Virtual Machine (EVM), as well as leverage existing tooling for Scala development.

Open Source
Open Source

Axoni is committed to open sourcing AxLang so that it can be used by the broader blockchain community. AxLang is especially powerful when used in combination with AxCore, Axoni's blockchain platform.

join us

Are you interested in solving problems in cryptography, distributed systems, databases, or finance?