-
leo-retriever
A retriever for the Leo programming language
-
leo-parser-lossless
Lossless syntax tree parser for the Leo programming language
-
leo-disassembler
A disassembler for the Leo programming language
-
leo-interpreter
Interpreter for the Leo programming language
-
snarkvm
A decentralized virtual machine
-
snarkos
A decentralized operating system
-
aleo-struct-parser
Aleo Struct Parser
-
snarkos-node-bft
A memory pool for a decentralized operating system
-
leo-lang
The Leo programming language
-
leo-errors
Errors for the Leo programming language
-
leo-ast
Abstract syntax tree (AST) for the Leo programming language
-
snarkos-node-network
Network-related objects and traits for nodes
-
leo-passes
Compiler passes for the Leo programming language
-
snarkvm-curves
Curves for a decentralized virtual machine
-
snarkos-node-tcp
A TCP stack for a decentralized operating system
-
snarkos-node-sync
A synchronization module for a decentralized operating system
-
snarkos-node-router
A node router for a decentralized operating system
-
leo-span
Span handling for the Leo programming language
-
snarkos-node-metrics
A node for a decentralized operating system
-
snarkvm-ledger-block
A block for a decentralized virtual machine
-
snarkos-account
Account for a decentralized operating system
-
snarkvm-ledger-store
A data store for a decentralized virtual machine
-
snarkvm-circuit-types-field
Field circuit for a decentralized virtual machine
-
snarkvm-circuit-types-integers
Integer circuit for a decentralized virtual machine
-
snarkvm-synthesizer
Synthesizer for a decentralized virtual machine
-
snarkvm-circuit-program
Program circuit library for a decentralized virtual machine
-
snarkvm-circuit-types-boolean
Boolean circuit for a decentralized virtual machine
-
snarkvm-ledger-committee
A committee for a decentralized virtual machine
-
aleo-wasm
WebAssembly based toolkit for developing zero-knowledge applications with Aleo
-
snarkvm-parameters
Parameters for a decentralized virtual machine
-
snarkvm-fields
Fields for a decentralized virtual machine
-
snarkvm-algorithms
Algorithms for a decentralized virtual machine
-
snarkvm-synthesizer-program
Program for a decentralized virtual machine
-
snarkvm-circuit-environment
Circuit environment for a decentralized virtual machine
-
snarkvm-circuit-types-group
Group circuit for a decentralized virtual machine
-
snarkvm-console-types-scalar
Type operations for a decentralized virtual machine
-
snarkvm-console-types-integers
Type operations for a decentralized virtual machine
-
snarkvm-circuit-algorithms
Algorithm circuit library for a decentralized virtual machine
-
snarkvm-console-algorithms
Console algorithms for a decentralized virtual machine
-
snarkvm-ledger
A node ledger for a decentralized virtual machine
-
snarkvm-synthesizer-snark
SNARK wrappers for a decentralized virtual machine
-
snarkvm-synthesizer-process
A process for a decentralized virtual machine
-
snarkvm-console-account
Account operations for a decentralized virtual machine
-
snarkvm-circuit-account
Account circuit library for a decentralized virtual machine
-
snarkvm-circuit-collections
Collections circuit library for a decentralized virtual machine
-
snarkvm-console-types-field
Type operations for a decentralized virtual machine
-
snarkvm-console-types-group
Type operations for a decentralized virtual machine
-
snarkvm-console-network
Network console library for a decentralized virtual machine
-
snarkvm-circuit-network
Network circuit library for a decentralized virtual machine
-
snarkvm-ledger-narwhal-batch-header
A batch header for a Narwhal-style memory pool in a decentralized virtual machine
-
snarkos-node
A node for a decentralized operating system
-
snarkvm-console-types-address
Type operations for a decentralized virtual machine
-
snarkvm-circuit-types-address
Address circuit for a decentralized virtual machine
-
snarkvm-ledger-narwhal-transmission
A transmission for a Narwhal-style memory pool in a decentralized virtual machine
-
aleo-std-timed
A profiler to conveniently time function executions
-
snarkvm-console-network-environment
Environment console library for a decentralized virtual machine
-
snarkos-node-bft-events
Events for the gateway in a decentralized operating system
-
snarkvm-ledger-narwhal-subdag
A subdag for a Narwhal-style memory pool in a decentralized virtual machine
-
snarkos-node-router-messages
Node messages for a decentralized operating system
-
snarkvm-ledger-narwhal-transmission-id
A transmission ID for a Narwhal-style memory pool in a decentralized virtual machine
-
snarkvm-ledger-query
A query for a decentralized virtual machine
-
snarkvm-ledger-narwhal-batch-certificate
A batch certificate for a Narwhal-style memory pool in a decentralized virtual machine
-
snarkos-node-sync-locators
Locators to synchronize a decentralized operating system
-
snarkvm-circuit-types-string
String circuit for a decentralized virtual machine
-
snarkos-node-bft-ledger-service
A ledger service for the memory pool in a decentralized operating system
-
snarkvm-ledger-puzzle
Puzzle for a decentralized virtual machine
-
amareleo
An Aleo test framework
-
snarkvm-ledger-narwhal-data
A batch certificate for a Narwhal-style memory pool in a decentralized virtual machine
-
snarkvm-utilities
decentralized virtual machine
-
snarkvm-ledger-puzzle-epoch
Epoch puzzle for a decentralized virtual machine
-
snarkvm-circuit
Circuits for a decentralized virtual machine
-
snarkvm-ledger-authority
Data structures for a block authority in a decentralized virtual machine
-
snarkvm-algorithms-cuda
Cuda optimizations for a decentralized virtual machine
-
snarkvm-ledger-narwhal
Data structures for a Narwhal-style memory pool in a decentralized virtual machine
-
snarkos-node-consensus
A node consensus for a decentralized operating system
-
snarkvm-console-types
Console types for a decentralized virtual machine
-
snarkvm-circuit-types
Primitive circuit for a decentralized virtual machine
-
snarkvm-console
Console environment for a decentralized virtual machine
-
snarkos-rpc
RPC for a decentralized operating system
-
amareleo-chain
A lite Aleo development node
-
leo-compiler
Compiler for Leo programming language
-
snarkvm-ledger-test-helpers
Test helpers for a decentralized virtual machine
-
snarkos-node-cdn
A CDN client for a decentralized operating system
-
snarkos-node-bft-storage-service
A storage service for the memory pool in a decentralized operating system
-
snarkos-cli
Command-line interface for snarkOS
-
snarkos-node-sync-communication-service
A communication service for the sync module in a decentralized operating system
-
snarkos-node-rest
A REST API server for a decentralized virtual machine
-
snarkvm-marlin
Marlin preprocessing zkSNARK
-
snarkos-network
Network for a decentralized operating system
-
aleo
Aleo
-
leo-input
Input parser of the Leo programming language
-
snarkvm-ledger-coinbase
Coinbase puzzle for a decentralized virtual machine
-
snarkos-display
A display for a decentralized operating system
Try searching with DuckDuckGo.