Alex Euler's starred repositories

awesome-rust

A curated list of Rust code and resources.

Language:RustLicense:CC0-1.0Stargazers:44123Issues:809Issues:135

ethereumbook

Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood

Language:JavaScriptLicense:NOASSERTIONStargazers:19467Issues:584Issues:212

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!

Language:JavaScriptLicense:NOASSERTIONStargazers:9555Issues:192Issues:20

foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Language:RustLicense:Apache-2.0Stargazers:7794Issues:73Issues:3871

wagmi

React Hooks for Ethereum

Language:TypeScriptLicense:MITStargazers:5782Issues:43Issues:1022

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

viem

TypeScript Interface for Ethereum

Language:TypeScriptLicense:NOASSERTIONStargazers:2274Issues:28Issues:461

building-secure-contracts

Guidelines and training material to write secure smart contracts

Language:SolidityLicense:AGPL-3.0Stargazers:2133Issues:36Issues:88

fe

Emerging smart contract language for the Ethereum blockchain.

Language:RustLicense:NOASSERTIONStargazers:1588Issues:39Issues:408

rust-anthology

Learn Rust from the best

surya

A set of utilities for exploring Solidity contracts

Language:JavaScriptLicense:Apache-2.0Stargazers:1048Issues:30Issues:68

ethersplay

EVM dissassembler

Language:PythonLicense:AGPL-3.0Stargazers:826Issues:40Issues:32

abitype

Strict TypeScript types for Ethereum ABIs

Language:TypeScriptLicense:MITStargazers:451Issues:7Issues:17

huffmate

A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.

Language:SolidityLicense:MITStargazers:427Issues:11Issues:26

abdk-libraries-solidity

Open-Source Libraries for Solidity by ABDK Consulting

Language:SolidityLicense:BSD-4-ClauseStargazers:381Issues:9Issues:23

ethereum-libraries

Library contracts for Ethereum

Language:JavaScriptLicense:MITStargazers:331Issues:16Issues:32

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.

Language:SolidityStargazers:117Issues:4Issues:0

cacheable-beacon-proxy

Upgradeable proxy with the least possible gas overhead.

tokenlibs-with-proofs

Correctness proofs of Ethereum token contracts

Language:CoqLicense:LGPL-3.0Stargazers:98Issues:15Issues:0

awesome-circom

A curated list of repos related to Circom

License:GPL-3.0Stargazers:90Issues:4Issues:0

zkevm-chain

zkevm-chain: Deprecated

tendermintx

Implementation of zero-knowledge proof circuits for Tendermint.

Language:RustLicense:MITStargazers:74Issues:4Issues:11

bellpepper

SNARK Circuit library

Language:RustLicense:NOASSERTIONStargazers:66Issues:12Issues:38