Lib.rs

› Cryptography › Magic Beans
#leo #programming-language #zero-knowledge #aleo #cryptography

yanked leo-typed

Typed AST of the Leo programming language

was by ProvableHQ. Owned by Howard Wu, Collin Chin.

1.0.4 Nov 7, 2020
1.0.3 Sep 3, 2020
1.0.2 Aug 29, 2020
1.0.1 Aug 27, 2020
1.0.0 Aug 21, 2020

#22 in #leo

GPL-3.0 license

580KB
10K SLoC

A typed syntax tree is represented as a Program and consists of import, circuit, and function definitions. Each defined type consists of typed statements and expressions.

Dependencies

~15–27MB
~438K SLoC