-
ACL2 System and Books as Maintained by the Community
-
ethereum-org-website Public
Forked from ethereum/ethereum-org-websiteEthereum.org is a primary online resource for the Ethereum community.
Markdown MIT License UpdatedOct 19, 2025 -
-
snarkOS Public
Forked from ProvableHQ/snarkOSA Decentralized Operating System for ZK Applications
Rust Apache License 2.0 UpdatedJun 5, 2025 -
-
snarkVM Public
Forked from ProvableHQ/snarkVMA Virtual Machine for Zero-Knowledge Executions
Rust Apache License 2.0 UpdatedMay 15, 2025 -
-
practical-fm Public
Forked from ligurio/practical-fmA gently curated list of companies using verification formal methods in industry
UpdatedFeb 2, 2023 -
workshop Public
Forked from ProvableHQ/workshop📜 A starter guide to build applications on Aleo 📜
-
ARCs Public
Forked from ProvableHQ/ARCsAleo Request for Comments (ARCs)
JavaScript Apache License 2.0 UpdatedAug 28, 2022 -
tlborm Public
Forked from DanielKeep/tlbormThe Little Book of Rust Macros
Rust UpdatedAug 26, 2022 -
-
mdbook-linkcheck Public
Forked from Michael-F-Bryan/mdbook-linkcheckA backend for `mdbook` which will check your links for you.
Rust MIT License UpdatedMar 23, 2022 -
toml Public
Forked from toml-lang/tomlTom's Obvious, Minimal Language
Python MIT License UpdatedFeb 8, 2022 -
ethereumbook Public
Forked from ethereumbook/ethereumbookMastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood
JavaScript Other UpdatedFeb 8, 2022 -
tests Public
Forked from ethereum/testsCommon tests for all Ethereum implementations
Python MIT License UpdatedFeb 8, 2022 -
ethereumj Public
Forked from ethereum/ethereumjJava implementation of the Ethereum yellowpaper. For JSON-RPC and other client features check Ethereum Harmony
Java GNU Lesser General Public License v3.0 UpdatedFeb 8, 2022 -
yellowpaper Public
Forked from ethereum/yellowpaperThe "Yellow Paper": Ethereum's formal specification
-
mdBook Public
Forked from rust-lang/mdBookCreate book from markdown files. Like Gitbook but implemented in Rust
Rust Mozilla Public License 2.0 UpdatedDec 16, 2021 -
solidity Public
Forked from argotorg/soliditySolidity, the Smart Contract Programming Language
C++ GNU General Public License v3.0 UpdatedDec 14, 2021 -
-
webgme Public
Forked from webgme/webgmeWeb-based Generic Modeling Environment
JavaScript MIT License UpdatedAug 14, 2020 -
coda Public
Forked from MinaProtocol/minaCoda is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
OCaml Apache License 2.0 UpdatedJun 25, 2020 -
iden3-docs Public
Forked from iden3/iden3-docsiden3 documentation
Python GNU General Public License v3.0 UpdatedMay 22, 2019
{{ message }}