A Github Action to report the code coverage from LCOV files
☆86Mar 1, 2026Updated last week
Alternatives and similar repositories for github-actions-report-lcov
Users that are interested in github-actions-report-lcov are comparing it to the libraries listed below
Sorting:
- Testing echidna vs. forge fuzzing☆77Dec 20, 2022Updated 3 years ago
- ☆18Mar 28, 2023Updated 2 years ago
- My version of a clone factory with immutable args WIP!☆18May 7, 2022Updated 3 years ago
- ☆21Mar 31, 2022Updated 3 years ago
- Start a Hardhat Network node from the command line☆12Oct 1, 2021Updated 4 years ago
- ☆13Feb 2, 2021Updated 5 years ago
- ☆10Jul 29, 2025Updated 7 months ago
- Storage Slot Math Begone (Beta)☆26Jan 2, 2023Updated 3 years ago
- ☆15Dec 15, 2021Updated 4 years ago
- Just testing, nothing to see here.☆13Mar 17, 2022Updated 3 years ago
- Delegate your governance tokens to this contract and never worry about those pesky governance proposals again.☆22Feb 10, 2022Updated 4 years ago
- ☆15Mar 7, 2022Updated 4 years ago
- ☆19Jun 20, 2022Updated 3 years ago
- ☆12May 15, 2025Updated 9 months ago
- Generalized EIP-3074 Invoker with batch transaction support.☆17Apr 27, 2024Updated last year
- 🔐 Protect your Smart Contract Proxy from storage collisions upon upgrading, by running this action in a CI on each of your Pull Requests…☆101Apr 4, 2025Updated 11 months ago
- Vyper contracts used in the Sun Governance DAO.☆13Mar 2, 2026Updated last week
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor☆30May 7, 2022Updated 3 years ago
- A simple, seamless way to support your favorite opensource project.☆17Nov 13, 2022Updated 3 years ago
- Supplementary Material to be used with the Certora Prover☆17Mar 9, 2022Updated 4 years ago
- Alternative Foundry verifier for nested forge script deployments. Provide your broadcast JSON file, and the verifier will check every TX …☆19Jun 10, 2025Updated 8 months ago
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Nov 29, 2021Updated 4 years ago
- ERC-3770☆18Jul 9, 2024Updated last year
- formal verification of multicollateral dai in the K framework☆15Sep 10, 2021Updated 4 years ago
- WETH3074 is a new version of the WETH contract which utilizes EIP-3074 to avoid the need for wrapping/unwrapping. In essence it turns ETH…☆39Sep 15, 2022Updated 3 years ago
- Repository to verify contributions to the AZTEC Ignition ceremony☆20Mar 31, 2023Updated 2 years ago
- A simple and sufficient ERC721 implementation☆21Jul 11, 2022Updated 3 years ago
- Spawn EIP 1167 minimal proxies with an included initialization step during contract creation.☆42Apr 16, 2023Updated 2 years ago
- spec for API monetisation using blockchain + stablecoins instead of API keys☆34Sep 24, 2025Updated 5 months ago
- Proof-of-concept of NFT integrating ENS and Gravatar.☆19Sep 26, 2024Updated last year
- Generic Vector library for Solidity☆27Mar 21, 2022Updated 3 years ago
- Library for creating corrupted calldata.☆27Mar 8, 2023Updated 3 years ago
- ☆17Jul 1, 2022Updated 3 years ago
- ☆23Sep 2, 2021Updated 4 years ago
- A dollar auction implementation in Solidity.☆25May 17, 2022Updated 3 years ago
- A collection of best practices and code samples for technical Maker Improvement Proposals (MIPs).☆44Feb 13, 2022Updated 4 years ago
- Carbon bearing NFT, allows you to store BCT (Base Carbon Tonne) carbon credits inside of it.☆22Jan 20, 2022Updated 4 years ago
- ☆27Oct 29, 2021Updated 4 years ago