Alex Euler's starred repositories
awesome-rust
A curated list of Rust code and resources.
ethereumbook
Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood
DeFi-Developer-Road-Map
DeFi Developer roadmap is a curated Developer handbook which includes a list of the best tools for DApps development, resources and references!
ethereum-developer-tools-list
A guide to available tools and platforms for developing on Ethereum.
nestjs-realworld-example-app
Exemplary real world backend API built with NestJS + TypeORM / Prisma
building-secure-contracts
Guidelines and training material to write secure smart contracts
rust-anthology
Learn Rust from the best
ethersplay
EVM dissassembler
abdk-libraries-solidity
Open-Source Libraries for Solidity by ABDK Consulting
ethereum-libraries
Library contracts for Ethereum
ethereum_formal_verification_overview
Overview of the formal verification projects in the Ethereum ecosystem.
ethereum-formal-verification-overview
The start page about my efforts around smart contract verification
awesome-provable
A curated set of links to formal methods involving provable code.
cryptokitty-designer
Simple tool to design, visualize and find CryptoKitties.
cacheable-beacon-proxy
Upgradeable proxy with the least possible gas overhead.
tokenlibs-with-proofs
Correctness proofs of Ethereum token contracts
awesome-circom
A curated list of repos related to Circom
zkevm-chain
zkevm-chain: Deprecated
tendermintx
Implementation of zero-knowledge proof circuits for Tendermint.
bellpepper
SNARK Circuit library