Skip to main content

The Leo Programming Language

Welcome to the Leo programming language. Leo is a functional, statically-typed programming language built for writing private applications. Leo is a high-level programming language that compiles down to low-level Aleo Instructions.


The Leo language is currently in active development. Please monitor the repository on GitHub for breaking changes

Installing Leo

Proceed to Installation for information on how to install Leo.

Getting Started

Check out the Hello World tutorial for a brief walk-through of Leo and the Leo CLI.

Formal Language Documentation

A formal ABNF grammar specification for the syntax of Leo can be viewed here.

Command Line Interface Documentation

The Leo CLI provides a suite of commands to make programming in Leo easy.

Additional Material

Install Leo for your favorite code editor.

Is your Leo code formatted correctly? Check out the Style Guide and Common Patterns for the official guidelines.

Found a bug? Have an idea for a feature? Proceed to the Known Bugs section and the Contributing Guide.