Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

Top 7.8% forks on crates.io

crates.io : leo-type-inference

Checks that a program is correct using type inference

Registry - Source - Homepage - Documentation - JSON
purl: pkg:cargo/leo-type-inference
Keywords: aleo, programming-language, zero-knowledge, leo, cryptography, compiler, zksnarks
License: GPL-3.0
Latest release: about 1 month ago
First release: over 3 years ago
Dependent packages: 1
Downloads: 1,375 total
Stars: 4,044 on GitHub
Forks: 600 on GitHub
Total Commits: 4297
Committers: 39
Average commits per author: 110.179
Development Distribution Score (DDS): 0.771
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 9 days ago

Top 8.8% on crates.io

leo-compiler 1.12.0

Compiler for Leo programming language
37 versions - Latest release: 17 days ago - 2 dependent packages - 3 dependent repositories - 13.2 thousand downloads total - 4,044 stars on GitHub - 3 maintainers