Check out our blog for details!
Subscribe for Updates
AxLang supports both imperative and functional programming, meaning it integrates with formal verification methodologies to mathematically prove the correctness of implementations.
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.
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.