licenses.dev

leo-synthesizer v1.5.3

Circuit synthesizer of the Leo programming language

Published on

Licenses

Learn more about license information.

Package Licenses

GPL-3.0

Dependency Licenses

Apache-2.0 OR MIT53
PackageRelationDependenciesPublished
anyhow • 1.0.94Flexible concrete Error type built on std::error::ErrorINDIRECT0
autocfg • 1.4.0Automatic cfg for Rust compiler featuresINDIRECT0
blake2 • 0.9.2BLAKE2 hash functionsINDIRECT7
block-buffer • 0.9.0Buffer type for block processing of dataINDIRECT3
cfg-if • 1.0.0A macro to ergonomically define an item depending on a large number of #[cfg] parameters. Structured like an if-else chain, the first matching branch is the item that gets emitted. INDIRECT0
cpufeatures • 0.2.16Lightweight runtime CPU feature detection for aarch64, loongarch64, and x86/x86_64 targets, with no_std support and support for mobile targets including Android and iOS INDIRECT1
crossbeam-channel • 0.5.14Multi-producer multi-consumer channels for message passingINDIRECT1
crossbeam-deque • 0.8.6Concurrent work-stealing dequeINDIRECT2
crossbeam-epoch • 0.9.18Epoch-based garbage collectionINDIRECT1
crossbeam-utils • 0.8.21Utilities for concurrent programmingINDIRECT0
crypto-mac • 0.8.0Trait for Message Authentication Code (MAC) algorithmsINDIRECT4
derivative • 2.2.0A set of alternative `derive` attributes for RustINDIRECT4
digest • 0.9.0Traits for cryptographic hash functions and message authentication codesINDIRECT3
either • 1.13.0The enum `Either` with variants `Left` and `Right` is a general purpose sum type with two cases. INDIRECT0
fxhash • 0.2.1A fast, non-secure, hashing algorithm derived from an internal hasher used in FireFox and Rustc.INDIRECT1
getrandom • 0.2.15A small cross-platform library for retrieving random data from system sourceINDIRECT3
hashbrown • 0.12.3A Rust port of Google's SwissTable hash mapINDIRECT0
hex • 0.4.3Encoding and decoding data into/from hexadecimal representation.DIRECT0
indexmap • 1.9.3A hash table with consistent order and fast iteration.INDIRECT2
itertools • 0.10.5Extra iterator adaptors, iterator methods, free functions, and macros.INDIRECT1
itoa • 1.0.14Fast integer primitive to string conversionINDIRECT0
lazy_static • 1.5.0A macro for declaring lazily evaluated statics in Rust.INDIRECT0
libc • 0.2.169Raw FFI bindings to platform libraries like libc. INDIRECT0
num-bigint • 0.4.6Big integer implementation for RustDIRECT3
num-traits • 0.2.19Numeric traits for generic mathematicsINDIRECT1
once_cell • 1.20.2Single assignment cells and lazy values.INDIRECT0
opaque-debug • 0.3.1Macro for opaque Debug trait implementationINDIRECT0
ppv-lite86 • 0.2.20Implementation of the crypto-simd API for x86INDIRECT7
proc-macro-crate • 0.1.5Replacement for crate (macro_rules keyword) in proc-macros INDIRECT7
proc-macro-error-attr • 1.0.4Attribute macro for proc-macro-error crateINDIRECT4
proc-macro-error • 1.0.4Almost drop-in replacement to panics in proc-macrosINDIRECT5
proc-macro2 • 1.0.92A substitute implementation of the compiler's `proc_macro` API to decouple token-based libraries from the procedural macro use case.INDIRECT1
quote • 1.0.37Quasi-quoting macro quote!(...)INDIRECT2
rand_chacha • 0.3.1ChaCha random number generator INDIRECT13
rand_core • 0.6.4Core random number generator traits and tools for implementation. INDIRECT4
rand_xorshift • 0.3.0Xorshift random number generator INDIRECT5
rand • 0.8.5Random number generators and other randomness functionality. INDIRECT14
rayon-core • 1.12.1Core APIs for RayonINDIRECT3
rayon • 1.10.0Simple work-stealing parallelism for RustINDIRECT5
rustc_version • 0.4.1A library for querying the version of a installed rustc compilerINDIRECT1
semver • 1.0.24Parser and evaluator for Cargo's flavor of Semantic VersioningINDIRECT0
serde_derive • 1.0.195Macros 1.1 implementation of #[derive(Serialize, Deserialize)]INDIRECT4
serde_json • 1.0.134A JSON serialization file formatDIRECT9
serde • 1.0.195A generic serialization/deserialization frameworkDIRECT5
sha2 • 0.9.9Pure Rust implementation of the SHA-2 hash function family including SHA-224, SHA-256, SHA-384, and SHA-512. DIRECT9
smallvec • 1.13.2'Small vector' optimization: store up to a small number of items on the stackINDIRECT0
syn • 1.0.109Parser for Rust source codeINDIRECT3
syn • 2.0.90Parser for Rust source codeINDIRECT2
thiserror-impl • 1.0.69Implementation detail of the `thiserror` crateINDIRECT4
thiserror • 1.0.69derive(Error)INDIRECT5
toml • 0.5.11A native Rust encoder and decoder of TOML-formatted files and streams. Provides implementations of the standard Serialize/Deserialize traits for TOML data to facilitate deserializing and serializing Rust structures. INDIRECT6
typenum • 1.17.0Typenum is a Rust library for type-level numbers evaluated at compile time. It currently supports bits, unsigned integers, and signed integers. It also provides a type-level array of type-level numbers, but its implementation is incomplete.INDIRECT0
version_check • 0.9.5Tiny crate to check the version of the installed/running rustc.INDIRECT0
GPL-3.08
PackageRelationDependenciesPublished
snarkvm-algorithms • 0.7.9Algorithms for a decentralized virtual machineINDIRECT70
snarkvm-curves • 0.7.9Curves for a decentralized virtual machineDIRECT38
snarkvm-derives • 0.7.9Canonical serialization for a decentralized virtual machineINDIRECT12
snarkvm-fields • 0.7.9Fields for a decentralized virtual machineDIRECT35
snarkvm-gadgets • 0.7.9Gadgets for a decentralized virtual machineDIRECT71
snarkvm-profiler • 0.7.9Profiler for a decentralized virtual machineINDIRECT0
snarkvm-r1cs • 0.7.9R1CS for a decentralized virtual machineDIRECT44
snarkvm-utilities • 0.7.9Utilities for a decentralized virtual machineINDIRECT32
MIT7
PackageRelationDependenciesPublished
bincode • 1.3.3A binary serialization / deserialization strategy for transforming structs into bytes and vice versa!INDIRECT6
bitvec • 0.19.6Addresses memory by bits, for packed collections and bitfieldsINDIRECT4
funty • 1.1.0Trait generalization over the primitive typesINDIRECT0
generic-array • 0.14.7Generic types implementing functionality of arraysINDIRECT2
radium • 0.5.3Portable interfaces for maybe-atomic typesINDIRECT0
tap • 1.0.1Generic extensions for tapping values in RustINDIRECT0
wyz • 0.2.0myrrlyn’s utility collectionINDIRECT0
MIT OR Unlicense2
PackageRelationDependenciesPublished
byteorder • 1.5.0Library for reading/writing numbers in big-endian and little-endian.INDIRECT0
memchr • 2.7.4Provides extremely fast (uses SIMD on x86_64, aarch64 and wasm32) routines for 1, 2 or 3 byte search and single substring search. INDIRECT0
Apache-2.0 OR BSD-2-Clause OR MIT2
PackageRelationDependenciesPublished
zerocopy-derive • 0.7.35Custom derive for traits from the zerocopy crateINDIRECT4
zerocopy • 0.7.35Utilities for zero-copy parsing and serializationINDIRECT6
unknown1
PackageRelationDependenciesPublished
num-integer • 0.1.46Integer traits and functionsINDIRECT2
Apache-2.0 OR BSL-1.01
PackageRelationDependenciesPublished
ryu • 1.0.18Fast floating point to string conversionINDIRECT0
Unicode-3.0 AND (Apache-2.0 OR MIT)1
PackageRelationDependenciesPublished
unicode-ident • 1.0.14Determine whether characters have the XID_Start or XID_Continue properties according to Unicode Standard Annex #31INDIRECT0
BSD-3-Clause1
PackageRelationDependenciesPublished
subtle • 2.6.1Pure-Rust traits and utilities for constant-time cryptographic implementations.INDIRECT0
Apache-2.0 OR MIT OR Apache-2.0 WITH LLVM-exception1
PackageRelationDependenciesPublished
wasi • 0.11.0+wasi-snapshot-preview1Experimental WASI API bindings for RustINDIRECT0
Last updated on

Copy the licenses badge code for the latest version:

[![licenses](https://licenses.dev/b/cargo/leo-synthesizer)](https://licenses.dev/cargo/leo-synthesizer)
<a href="https://licenses.dev/cargo/leo-synthesizer">
  <img src="https://licenses.dev/b/cargo/leo-synthesizer" alt="licenses" />
</a>

Or the licenses badge code for the 1.5.3 version:

[![licenses](https://licenses.dev/b/cargo/leo-synthesizer/1.5.3)](https://licenses.dev/cargo/leo-synthesizer/1.5.3)
<a href="https://licenses.dev/cargo/leo-synthesizer/1.5.3">
  <img src="https://licenses.dev/b/cargo/leo-synthesizer/1.5.3" alt="licenses" />
</a>
GitHub