leo Apps & Release Installers

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

4,811 stars

Rust 1 file · ~944 tokens #compiler #leo #programming-language #zero-knowledge #zksnarks

Recommended For Your System

leo-lsp-v4.4.5-x86_64-pc-windows-msvc.zip

4.4 MB • Version leo-lsp-v4.4.5

All Downloadable Installers by Operating System

Windows (.exe / .msi)

1 files

leo-lsp-v4.4.5-x86_64-pc-windows-msvc.zip

4.4 MB • x64 • 0 downloads

macOS (.dmg / .pkg)

2 files

leo-lsp-v4.4.5-aarch64-apple-darwin.zip

3.9 MB • Apple Silicon • 19 dl

leo-lsp-v4.4.5-x86_64-apple-darwin.zip

4.1 MB • Intel • 19 dl

Linux (.AppImage / .deb)

2 files

leo-lsp-v4.4.5-x86_64-unknown-linux-gnu.zip

4.3 MB • x64 • 20 dl

leo-lsp-v4.4.5-x86_64-unknown-linux-musl.zip

4.3 MB • x64 • 0 dl

Quick Terminal & Package Manager Commands

brew install leo

winget install ProvableHQ.leo

docker run -d --name leo --restart always ProvableHQ/leo:latest