.za / dotNET / .NEF

In my spare time I build a static analyzer for Solidity-based smart contracts.