V1 interface for Snapshot. Join us on Discord http://discord.snapshot.org

Overview of the formal verification projects in the Ethereum ecosystem.

Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine

Project for formal verification of solidity compiler

A formal verifier and analysis tool for Solidity Smart Contracts

Solidity, the Smart Contract Programming Language

Ethereum smart contract fuzzer

A tutorial for algorithmic trading bot using machine learning.

Fast and low overhead web framework, for Node.js

Use passport strategies for authentication within a fastify application

Example of Next.js app deployable to IPFS

Zero-Config CLI to Deploy Static Websites to IPFS

Fast and type-safe full stack framework, for TypeScript

Automated cryptocurrency trading bot

おじさんがLINEやメールで送ってきそうな文を生成する

hardhat deployment plugin

A cryptocurrency trading API with more than 100 exchanges in JavaScript / TypeScript / Python / C# / PHP / Go

Python Imaging Library (Fork)

Rust / Wasm framework for creating reliable and efficient web applications

Bitcoin Improvement Proposals

Trustlessly prove a past storage value in a contract to other contracts

On chain generated Non Fungible Token

OpenZeppelin Contracts is a library for secure smart contract development.

12 weeks, 26 lessons, 52 quizzes, classic Machine Learning for all

Source code for Eat The Blocks, a screencast for Ethereum Dapp Developers

A program for financial portfolio management, analysis and optimisation.

The automation tower defense RTS