Assembly Line

Leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Leo is an open-source programming language project on GitHub under the GPL-3.0 license (strong copyleft), with 4.8k stars. It is built with Rust, Axum and Tokio. Its last push was today.

Stars
4.8k
License
GPL-3.0
Activity
Active
Latest release
leo-lang-v4.4.6

Code on GitHub Website

Judgement

What it is
Developer tool
What it does
The compiler for Leo, a statically typed language for writing private zero-knowledge applications on the Aleo blockchain.
Adopt it when
You are building privacy-preserving applications specifically on Aleo.
Watch out
Tied to one blockchain ecosystem, and GPL-3.0 licensed.
Ready for
Usable
Runs as
Command line
Built with
Rust
How established
Established: started 6 years ago, latest release leo-lang-v4.4.6.
What the license allows
Use inside your business is unrestricted, but anything you distribute that includes it must be released under the same license.

Judged on 2026-11-03 from the project's README and GitHub data. The license and age lines are worked out directly.

Built from

Follow it down: Leo → Rust → runs on a microchip

How compilers were built, back to punched paper tape

Open-source alternatives to Leo

  1. 1
    Go golang

    The Go programming language

    Developer tool Production-ready You build backend services or command-line tools and value simple code, fast builds and single-binary deploys.

    ★ 140k BSD-3-Clause Go Active, pushed today
  2. 2
    Rust rust-lang

    Empowering everyone to build reliable and efficient software.

    Developer tool Production-ready You need C-level performance with memory safety, for systems software, CLIs, services or WebAssembly.

    ★ 121k Apache-2.0 Rust Active, pushed today
  3. 3
    TypeScript microsoft

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

    Developer tool Production-ready You write JavaScript projects of any size and want static types and better editor tooling.

    ★ 112k Apache-2.0 Go Active, pushed today
  4. 4
    CPython python

    The Python programming language

    Developer tool Production-ready You write Python, or need to build, embed or contribute to the interpreter itself.

    ★ 78k See repository Python Active, pushed today
  5. 5
    Swift swiftlang

    The Swift Programming Language

    Developer tool Production-ready You build iOS or macOS apps, or want Swift on Linux servers.

    ★ 71k Apache-2.0 Swift Active, pushed today
  6. 6
    Kotlin JetBrains

    The Kotlin Programming Language.

    Developer tool Production-ready You build Android apps or JVM services and want a more concise, null-safe alternative to Java.

    ★ 54k See repository Kotlin Active, pushed today
  7. 7
    Julia JuliaLang

    The Julia Programming Language

    Developer tool Production-ready You do scientific computing, simulation or numerical work where Python is too slow and C is too painful.

    ★ 49k MIT Julia Active, pushed today
  8. 8
    Php-src php

    The PHP Interpreter

    Developer tool Production-ready You build or host PHP applications, or need to build PHP or its extensions from source.

    ★ 42k BSD-3-Clause C Active, pushed today

Stars, license and activity come from GitHub and refresh on a rolling hourly schedule. The project's own description is quoted as written.