A markdown based template for writing spearbit reports
☆68Mar 18, 2022Updated 3 years ago
Alternatives and similar repositories for report-template
Users that are interested in report-template are comparing it to the libraries listed below
Sorting:
- A binary search tree implementation in Solidity☆20Aug 5, 2022Updated 3 years ago
- Official Foundry landing page☆17Jun 28, 2023Updated 2 years ago
- ☆39Apr 8, 2022Updated 3 years ago
- Generic Vector library for Solidity☆27Mar 21, 2022Updated 3 years ago
- ☆17Aug 29, 2022Updated 3 years ago
- A repo to demonstrate how viaIR affects https://twitter.com/PatrickAlphaC/status/1503559512824897540☆22Mar 18, 2022Updated 3 years ago
- Create Blacksmiths to use the Foundry. Blacksmith is a 'User Contract' generator. User contracts can interface with the test contracts in…☆102Jul 19, 2022Updated 3 years ago
- ☆36Feb 8, 2022Updated 4 years ago
- Oracle System☆15Jun 4, 2022Updated 3 years ago
- Repository containing past audit reports☆54Nov 27, 2023Updated 2 years ago
- Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor☆30May 7, 2022Updated 3 years ago
- Repo for Yield Protocol 2022 mentorship lessons☆26Aug 8, 2022Updated 3 years ago
- ☆17Jan 30, 2022Updated 4 years ago
- Zen is a token trading protocol for transferring NFTs P2P.☆15Sep 7, 2022Updated 3 years ago
- Fixed point solidity exponentiation.☆75Apr 11, 2022Updated 3 years ago
- ☆55Jul 29, 2025Updated 7 months ago
- Practical tutorials of Certora Prover☆241Sep 27, 2023Updated 2 years ago
- ☆102Jul 29, 2022Updated 3 years ago
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆214Dec 25, 2023Updated 2 years ago
- Using various tools to rediscover popsicle exploit☆15Mar 10, 2022Updated 3 years ago
- On-Chain Experiment Hub☆14Mar 31, 2022Updated 3 years ago
- Just testing, nothing to see here.☆13Mar 17, 2022Updated 3 years ago
- DRAT proof processor☆16Apr 8, 2023Updated 2 years ago
- An optimized tic-tac-toe game in solidity☆26Aug 17, 2022Updated 3 years ago
- evm inception: the evm inside the evm via yul and solidity☆227Apr 19, 2023Updated 2 years ago
- Contract Test Suite☆19Apr 1, 2022Updated 3 years ago
- Speedrun this in Huff https://saxenism.com/web3/solidity/language-tricks/bit-magic/intermediate/2022/09/06/Bit-Magic-Solidity.html☆21Oct 7, 2022Updated 3 years ago
- Fuel cryptographic primitives.☆21Jan 4, 2023Updated 3 years ago
- foundry-x-chainlink☆32Mar 17, 2022Updated 3 years ago
- Solidity library with basic trigonometry functions☆150Mar 9, 2023Updated 2 years ago
- A flywheel repo specifically for Fuse compatibility☆33Sep 5, 2022Updated 3 years ago
- EthernautDAO reputation system☆13Jun 1, 2022Updated 3 years ago
- The most degen solidity lib out there.☆28Jul 13, 2023Updated 2 years ago
- ☆21Mar 31, 2022Updated 3 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- Pre-built security properties for commonly forked DeFi protocols☆196Nov 7, 2023Updated 2 years ago
- Maximally efficient (WIP), minimalist ERC-721 implementation. Inspired by solmate/ERC721's minimalist architecture and forked from ERC721…☆60Jun 12, 2022Updated 3 years ago
- Formal verification of WETH9.sol with Z3☆59Nov 19, 2022Updated 3 years ago
- ☆568Feb 26, 2026Updated last week