Alex Euler's starred repositories

bellpepper

SNARK Circuit library

Language:RustLicense:NOASSERTIONStargazers:66Issues:0Issues:0

tendermintx

Implementation of zero-knowledge proof circuits for Tendermint.

Language:RustLicense:MITStargazers:74Issues:0Issues:0

fe

Emerging smart contract language for the Ethereum blockchain.

Language:RustLicense:NOASSERTIONStargazers:1583Issues:0Issues:0
Language:SolidityStargazers:117Issues:0Issues:0

awesome-circom

A curated list of repos related to Circom

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

nestjs-realworld-example-app

Exemplary real world backend API built with NestJS + TypeORM / Prisma

Language:TypeScriptStargazers:2980Issues:0Issues:0

abitype

Strict TypeScript types for Ethereum ABIs

Language:TypeScriptLicense:MITStargazers:451Issues:0Issues:0

wagmi

React Hooks for Ethereum

Language:TypeScriptLicense:MITStargazers:5801Issues:0Issues:0

viem

TypeScript Interface for Ethereum

Language:TypeScriptLicense:NOASSERTIONStargazers:2274Issues:0Issues:0

huffmate

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

Language:SolidityLicense:MITStargazers:427Issues:0Issues:0

ethersplay

EVM dissassembler

Language:PythonLicense:AGPL-3.0Stargazers:826Issues:0Issues:0

ethereum-formal-verification-overview

The start page about my efforts around smart contract verification

Stargazers:296Issues:0Issues:0

abdk-libraries-solidity

Open-Source Libraries for Solidity by ABDK Consulting

Language:SolidityLicense:BSD-4-ClauseStargazers:380Issues:0Issues:0

awesome-provable

A curated set of links to formal methods involving provable code.

Stargazers:188Issues:0Issues:0

zkevm-chain

zkevm-chain: Deprecated

Language:RustStargazers:87Issues:0Issues:0

surya

A set of utilities for exploring Solidity contracts

Language:JavaScriptLicense:Apache-2.0Stargazers:1048Issues:0Issues:0

ethereum_formal_verification_overview

Overview of the formal verification projects in the Ethereum ecosystem.

License:GPL-3.0Stargazers:313Issues:0Issues:0

cacheable-beacon-proxy

Upgradeable proxy with the least possible gas overhead.

Language:SolidityStargazers:103Issues:0Issues:0

ethereumbook

Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood

Language:JavaScriptLicense:NOASSERTIONStargazers:19472Issues:0Issues:0

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:9552Issues:0Issues:0

foundry

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

Language:RustLicense:Apache-2.0Stargazers:7790Issues:0Issues:0

building-secure-contracts

Guidelines and training material to write secure smart contracts

Language:SolidityLicense:AGPL-3.0Stargazers:2132Issues:0Issues:0

tokenlibs-with-proofs

Correctness proofs of Ethereum token contracts

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

ethereum-libraries

Library contracts for Ethereum

Language:JavaScriptLicense:MITStargazers:331Issues:0Issues:0
Language:SolidityLicense:BSD-3-ClauseStargazers:219Issues:0Issues:0

ethereum-developer-tools-list

A guide to available tools and platforms for developing on Ethereum.

Stargazers:5231Issues:0Issues:0
Stargazers:266Issues:0Issues:0

cryptokitty-designer

Simple tool to design, visualize and find CryptoKitties.

Language:TypeScriptStargazers:152Issues:0Issues:0

awesome-rust

A curated list of Rust code and resources.

Language:RustLicense:CC0-1.0Stargazers:44097Issues:0Issues:0

rust-anthology

Learn Rust from the best

Language:ShellStargazers:1433Issues:0Issues:0