leo

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

GPL-3.0 License

Downloads
156.2K
Stars
4.8K
Committers
53
View Code on GitHub Visit Website
Ecosystems: Rust

Commit Statistics

Past Year

All Time

Total Commits
921
5,326
Total Committers
30
68
Avg. Commits Per Committer
30.7
78.32
Bot Commits
158
525

Issue Statistics

Past Year

All Time

Total Pull Requests
74
139
Merged Pull Requests
56
115
Total Issues
68
103
Time to Close Issues
5 days
17 days
Package Rankings
Top 6.89% on Crates.io
Badges
Extracted from project README
License: GPL v3
Related Projects
gdlk

GDLK is a web-based puzzle game based on an assembly-like programming language.

04 Nov 2019 1
RustPython

A Python Interpreter written in Rust

28 May 2018 17,737
RustTest

Research using Rust and Cargo to contribute value to Ethereum & Polkadot projects

10 Feb 2015 4
erg

A statically typed language compatible with Python

10 Aug 2022 2,594
tere

Terminal file explorer

20 Oct 2020 1,669
OpenVAF

An innovative Verilog-A compiler

30 Jul 2022 119
c2rust

Migrate C code to Rust

20 Apr 2018 3,948
rust

Empowering everyone to build reliable and efficient software.

16 Jun 2010 94,996
rust-examples

Examples from tutorial and other documentations of Rust.

24 Sep 2013 236
concordium-base

Core Rust and Haskell libraries used by various components of the Concordium blockchain, as well ...

29 Mar 2021 21
ls-interactive

Interactive ls command

05 May 2022 25
loxcraft

Language tooling for the Lox programming language.

16 Oct 2019 262
logos

Create ridiculously fast Lexers

09 Nov 2018 2,826
rust-how-do-i-start

Hand curated advice and pointers for getting started with Rust

05 Apr 2022 1,070
rust-analyzer

A Rust compiler front-end for IDEs

21 Dec 2017 13,523