nevillegrech

gigahorse-toolchain

A binary lifter and analysis framework for Ethereum smart contracts

MadMax

Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities

gigahorse-benchmarks

A benchmark suite (under construction) for smart contract vulnerability tools

llvm-energy

Static energy consumption for LLVM IR

preemptive-type-checking

Preemptive type checking implementation for a subset of the cpython 3.3 python implementation

DeFi-Developer-Road-Map

DeFi Developer roadmap is a curated Web3.0 Developer handbook which includes a list of the best tools for DApps, development resources and lifehacks.

smart-contract-best-practices

A guide to smart contract security best practices

CSrankings

A web app for ranking computer science departments according to their research output in selective venues.

EIP-1884-full-analysis

eip-1884-security

Security considerations for EIP 1884

jdk

Single git repo mirroring a myriad of mercurial jdk repos

linguist

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

money-legos

💰One stop shop for Ethereum ABIs, addresses, and Solidity interfaces!

nevillegrech.github.io

npm-expansions

Send us a pull request by editing expansions.txt

py-solc-x

Python wrapper around the solc Solidity compiler with 0.5.x and 0.6.x support

reduction-test

slither

Static Analyzer for Solidity

stdl

VineMoney