OpenZeppelin Contracts is a library for secure smart contract development.
An easier alternative is to use OpenZeppelin's SafeMath library (Docs & Github) which automatically checks for overflows in all the mathematical operators. The resulting code looks like this:
Workflow assistant built for devs & their teams. Automate the mundane part of your day, with live actionable messages for your GitHub & Jira tasks.
how to reproduce web3.py's signed message hash in solidity?
1 project | reddit.com/r/ethdev | 3 Dec 2022
A look into formal verification of smart contracts using Certora
5 projects | dev.to | 2 Dec 2022
Idea: A smart contract that will lock your crypto until x day, so it can only be spent when kids grow older
1 project | reddit.com/r/CryptoCurrency | 21 Nov 2022
How to programmatically check for and retrieve a contract's proxy or implementation address?
1 project | reddit.com/r/ethdev | 11 Nov 2022
Getting the "Fail with error 'ERC20: transfer amount exceeds allowance'" error when depositing to a smart contract through a function
1 project | reddit.com/r/ethdev | 3 Nov 2022