Pinned Repositories
acl2
ACL2 System and Books as Maintained by the Community
acoglio.github.io
ARCs
Aleo Request for Comments (ARCs)
coda
Coda is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
ethereumbook
Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood
ethereumj
Java implementation of the Ethereum yellowpaper. For JSON-RPC and other client features check Ethereum Harmony
iden3-docs
iden3 documentation
leo-sorting
workshop
📜 A starter guide to build applications on Aleo 📜
yellowpaper
The "Yellow Paper": Ethereum's formal specification
acoglio's Repositories
acoglio/acl2
ACL2 System and Books as Maintained by the Community
acoglio/workshop
📜 A starter guide to build applications on Aleo 📜
acoglio/yellowpaper
The "Yellow Paper": Ethereum's formal specification
acoglio/acoglio.github.io
acoglio/ARCs
Aleo Request for Comments (ARCs)
acoglio/coda
Coda is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
acoglio/ethereumbook
Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood
acoglio/ethereumj
Java implementation of the Ethereum yellowpaper. For JSON-RPC and other client features check Ethereum Harmony
acoglio/iden3-docs
iden3 documentation
acoglio/leo-sorting
acoglio/mdBook
Create book from markdown files. Like Gitbook but implemented in Rust
acoglio/mdbook-linkcheck
A backend for `mdbook` which will check your links for you.
acoglio/practical-fm
A gently curated list of companies using verification formal methods in industry
acoglio/risc-v
acoglio/snarkVM
A Virtual Machine for Zero-Knowledge Executions
acoglio/solidity
Solidity, the Smart Contract Programming Language
acoglio/tests
Common tests for all Ethereum implementations
acoglio/tlborm
The Little Book of Rust Macros
acoglio/toml
Tom's Obvious, Minimal Language
acoglio/webgme
Web-based Generic Modeling Environment
acoglio/zips
Zcash Improvement Proposals