Docs.rs
About
Badges
Builds
Metadata
Shorthand URLs
Releases
Releases by Stars
Recent Build Failures
Build Failures by Stars
Release Activity
Build Queue
Rust
The Book
Standard Library API Reference
Rust by Example
Rust Cookbook
Crates.io
The Cargo Guide
Releases
Crates from The Aleo Team
Recent
Stars
Recent Failures
Failures By Stars
Activity
Queue
the-aleo-team
leo-typed-1.0.4
Typed AST of the Leo programming language
91
leo-ast-1.2.3
Core AST of the Leo programming language
91
leo-asg-1.2.3
ASG of the Leo programming language
91
leo-imports-1.2.3
Import parser for Leo program package dependencies
91
leo-state-1.2.3
State parser of the Leo programming language
91
leo-compiler-1.2.3
Compiler of the Leo programming language
91
leo-lang-1.2.3
The Leo programming language
91
leo-liner-1.0.1
Linter of the Leo programming language
91
leo-core-1.0.8
Core package dependencies of the Leo programming language
91
leo-symbol-table-1.0.8
Stores user-defined variables during type resolution
91
leo-type-inference-1.0.8
Checks that a program is correct using type inference
91
leo-grammar-1.2.3
AST generated by pest from the Leo grammar rules
91
leo-linter-1.2.3
Linter of the Leo programming language
91
leo-input-1.2.3
Input parser of the Leo programming language
91
leo-package-1.2.3
Package parser of the Leo programming language
91
leo-gadgets-1.2.3
Gadgets of the Leo programming language
91
snarkos-objects-1.1.4
Objects for a decentralized operating system
90
snarkos-1.2.0
A decentralized operating system
90
snarkos-dpc-1.1.4
DPC for a decentralized operating system
90
snarkos-polycommit-1.1.4
A library for constructing polynomial commitment schemes for use in zkSNARKs
90
snarkos-marlin-1.1.4
A library for the Marlin preprocessing zkSNARK
90
snarkos-posw-1.1.4
Proof of Succinct Work circuit implementation based on [KB20]
90
snarkos-testing-1.1.4
Testing suite for a decentralized operating system
90
snarkos-benchmarks-1.1.4
Benchmarks for a decentralized operating system
90
snarkos-metrics-1.2.0
Metrics for a decentralized operating system
90
snarkos-profiler-1.2.0
Profiler for a decentralized operating system
90
snarkos-parameters-1.2.0
Parameters for a decentralized operating system
90
snarkos-toolkit-1.2.0
A developer toolkit for a decentralized operating system
90
snarkos-storage-1.2.0
Storage for a decentralized operating system
90
snarkos-consensus-1.2.0
Consensus for a decentralized operating system
90
Next Page