-
-
leo Public
Forked from ProvableHQ/leo🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Rust GNU General Public License v3.0 UpdatedNov 7, 2023 -
aptos-core Public
Forked from aptos-labs/aptos-coreA layer 1 for everyone!
Rust Apache License 2.0 UpdatedMay 8, 2022