Solidity library for statistical function approximations.
A set of contracts for the sona protocol
A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies.