panebinese
Follow
Stars
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
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
A JavaScript / TypeScript / Python / C# / PHP cryptocurrency trading API with support for more than 100 bitcoin/altcoin exchanges
Rust / Wasm framework for creating reliable and efficient web applications
Trustlessly prove a past storage value in a contract to other contracts
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.
An advanced API client for python bot traderes.