Pinned Repositories
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.
gigahorse-benchmarks
A benchmark suite (under construction) for smart contract vulnerability tools
gigahorse-toolchain
A binary lifter and analysis framework for Ethereum smart contracts
llvm-energy
Static energy consumption for LLVM IR
MadMax
Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities
preemptive-type-checking
Preemptive type checking implementation for a subset of the cpython 3.3 python implementation
smart-contract-best-practices
A guide to smart contract security best practices
doop
The official repo of Doop, the declarative pointer analysis framework.
HeapDL
Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.
souffle-addon
nevillegrech's Repositories
nevillegrech/gigahorse-toolchain
A binary lifter and analysis framework for Ethereum smart contracts
nevillegrech/MadMax
Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities
nevillegrech/gigahorse-benchmarks
A benchmark suite (under construction) for smart contract vulnerability tools
nevillegrech/llvm-energy
Static energy consumption for LLVM IR
nevillegrech/preemptive-type-checking
Preemptive type checking implementation for a subset of the cpython 3.3 python implementation
nevillegrech/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.
nevillegrech/smart-contract-best-practices
A guide to smart contract security best practices
nevillegrech/CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
nevillegrech/EIP-1884-full-analysis
nevillegrech/eip-1884-security
Security considerations for EIP 1884
nevillegrech/jdk
Single git repo mirroring a myriad of mercurial jdk repos
nevillegrech/linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
nevillegrech/money-legos
đź’°One stop shop for Ethereum ABIs, addresses, and Solidity interfaces!
nevillegrech/nevillegrech.github.io
nevillegrech/npm-expansions
Send us a pull request by editing expansions.txt
nevillegrech/py-solc-x
Python wrapper around the solc Solidity compiler with 0.5.x and 0.6.x support
nevillegrech/reduction-test
nevillegrech/slither
Static Analyzer for Solidity
nevillegrech/stdl
nevillegrech/VineMoney