Block or report user

Report or block GNSPS

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

ewasm Design Overview and Specification

573 74 Updated Nov 16, 2018

Solidity EVM is a restricted Ethereum Virtual Machine interpreter

JavaScript 8 2 Updated Nov 13, 2018

Smart Contract Weakness Classification and Test Cases

JavaScript 45 16 Updated Nov 16, 2018

Implementation of https://eips.ethereum.org/EIPS/eip-210 in Yul

3 1 Updated Jul 24, 2018

Cryptographic protocols for Solidity.

JavaScript 10 2 Updated Aug 6, 2017

Verified contracts synced from Etherscan

JavaScript 21 5 Updated Oct 19, 2018

👾 A mutation testing tool for Solidity contracts

JavaScript 33 Updated Aug 16, 2018

An ethereum evm bytecode disassembler and static/dynamic analysis tool

Python 46 10 Updated Oct 16, 2018

A guide to smart contract security best practices

HTML 3,260 581 Updated Nov 16, 2018

The first real-time Solidity debugger

TypeScript 112 3 Updated Jul 11, 2018

A Lem formalization of EVM and some Isabelle/HOL proofs

Isabelle 19 2 Updated Nov 14, 2018

A Solidity parser for JS built on top of a robust ANTLR4 grammar

JavaScript 49 14 Updated Sep 13, 2018

The Ethereum Wiki

11,638 1,958 Updated Oct 25, 2018

Generalised State Channels WIP

TypeScript 17 2 Updated Sep 27, 2018

Rewrite of the Yellowpaper in non-Yellowpaper syntax.

TeX 247 28 Updated Aug 9, 2018

A set of utilities for exploring Solidity contracts

JavaScript 152 17 Updated Nov 16, 2018

Solidity file utils cli tool

JavaScript 21 2 Updated Jun 6, 2018
JavaScript 28 7 Updated Jun 6, 2018

Translations of standard contracts from Solidity to Vyper.

JavaScript 13 Updated May 30, 2018

A GraphQL interface to Ethereum 🔥

TypeScript 349 42 Updated Nov 16, 2018

Partial implementation of the Ethereum runtime in Solidity (PoC)

JavaScript 55 4 Updated Jun 5, 2018

Pretty-print a javascript object as a tree

JavaScript 121 13 Updated Jul 9, 2018

A set of utilities (currently in alpha) for exploring Solidity contracts

JavaScript 19 Updated Jul 7, 2018

Hera: ewasm virtual machine conforming to the EVMC API

C++ 88 24 Updated Nov 14, 2018

⛽ Tokenize gas on Ethereum with GasToken ⛽

Python 201 14 Updated Oct 3, 2018

Compile Solidity source code and verify its bytecode matches the blockchain

JavaScript 40 10 Updated Apr 17, 2018

Doubly-linked list in Solidity

JavaScript 6 6 Updated Oct 24, 2018

Gnosis Safe allows secure management of blockchain assets.

JavaScript 120 38 Updated Nov 15, 2018

Transmits AM radio on computers without radio transmitting hardware.

C 4,785 360 Updated Aug 30, 2018

Solidity gotchas, pitfalls, limitations, and idiosyncrasies.

JavaScript 216 25 Updated Jun 25, 2018