Movatterモバイル変換

Showing 6 of 6 repositories

leology Public
Leology is an Aleo testing framework that makes developing Leo programs faster, easier, and safer.
leology-org/leology’s past year of commit activity
Rust 140 0 0 UpdatedMar 6, 2024
snarkOS Public Forked fromProvableHQ/snarkOS
A Decentralized Operating System for ZK Applications
leology-org/snarkOS’s past year of commit activity
Rust0Apache-2.0 3,059 0 0 UpdatedFeb 29, 2024
aleo-explorer Public Forked fromHarukaMa/aleo-explorer
Open source explorer for the Aleo network
leology-org/aleo-explorer’s past year of commit activity
Python0AGPL-3.0 88 0 0 UpdatedFeb 29, 2024
snarkVM Public Forked fromProvableHQ/snarkVM
A Virtual Machine for Zero-Knowledge Executions
leology-org/snarkVM’s past year of commit activity
Rust0Apache-2.0 1,618 0 0 UpdatedFeb 29, 2024
leology-docs Public
Documentation for Leology, the Leo testing framework
leology-org/leology-docs’s past year of commit activity
MDX 10 0 0 UpdatedJan 5, 2024
.github Public
leology-org/.github’s past year of commit activity
00 0 0 UpdatedDec 16, 2023

Navigation Menu