Github action for Slither Static Analyser for Solidity smart contracts
☆15Feb 19, 2022Updated 4 years ago
Alternatives and similar repositories for slither-static-analysis-action
Users that are interested in slither-static-analysis-action are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Mar 15, 2023Updated 3 years ago
- A list of awesome Cairo and STARK-adjacent projects☆16May 15, 2022Updated 3 years ago
- sui on-chain DCA bot☆12Apr 1, 2024Updated 2 years ago
- hardhat + foundry environment for testing and deployment of smart contracts☆10Oct 13, 2025Updated 6 months ago
- Sparse merkle tree functionality for TypeScript and Solidity.☆13Jan 24, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines☆11Feb 13, 2023Updated 3 years ago
- Use `forge` and `cast` commands in Python scripts☆19Apr 3, 2022Updated 4 years ago
- Protect your wallet from phishing☆19Jan 1, 2026Updated 3 months ago
- Integration tests and mocking web3 apps☆14Nov 1, 2018Updated 7 years ago
- Cross-chain proofs and atomic transactions☆18Aug 29, 2018Updated 7 years ago
- notes on distributed systems papers and miscellaneous reading☆12Nov 14, 2016Updated 9 years ago
- Extensible, Minimal Template for Sway Projects☆17Jan 3, 2022Updated 4 years ago
- The repository which holds the mvr project.☆19Jan 26, 2026Updated 2 months ago
- Literally the SIMPLEST implementation of an EVM storage proof inside SP1☆14Nov 26, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆17Jan 30, 2022Updated 4 years ago
- ☆11Jun 21, 2022Updated 3 years ago
- Q: What do Seaport Orders and The Circus Have in common? A: They're both intents.☆30May 31, 2023Updated 2 years ago
- Hardhat plugin that adds ways to ignore Solidity warnings☆17Feb 28, 2026Updated last month
- Library for creating corrupted calldata.☆27Mar 8, 2023Updated 3 years ago
- MIP21 example☆15Jun 20, 2022Updated 3 years ago
- Gnosis Safe Tx Service API client & associated tooling☆21Apr 7, 2023Updated 3 years ago
- Celestia Data Availability Provider for the Arbitrum Nitro stack☆12Apr 7, 2026Updated last week
- ANOMULY is a general, unsupervised edge anomaly detection framework for multiplex dynamic networks.☆11May 19, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆14Jul 20, 2017Updated 8 years ago
- Get more Matic with your Matic, on Polygon☆11Jun 17, 2021Updated 4 years ago
- ☆14Jan 4, 2023Updated 3 years ago
- Automatically exported from code.google.com/p/des-linear-and-differential-cryptoanalysis☆10Nov 15, 2015Updated 10 years ago
- Static aTokens for Aave v3, based on value increase (exchange rate based) instead of balance increase☆24Jul 15, 2024Updated last year
- Web page preview and analysis tool☆12Jan 11, 2023Updated 3 years ago
- Testing Ethereum reorgs in a private geth network☆30Jan 6, 2023Updated 3 years ago
- multi-amm multi-call router for uniswap / zAMM☆62Mar 30, 2026Updated 2 weeks ago
- ☆11Nov 16, 2019Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Installation tooling for Noir☆33Feb 14, 2026Updated 2 months ago
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated 7 months ago
- Releases of the Vyper compiler for ZKsync.☆28Jul 10, 2025Updated 9 months ago
- reuseable github actions workflows☆11Updated this week
- ☆31Aug 28, 2023Updated 2 years ago
- This code shows how you can extract a ECDSA private key from two messages signed with the same K value. Every signature must have been si…☆33Feb 7, 2018Updated 8 years ago
- ERC-4626 compatible CryptoSwap pool☆18Jul 25, 2022Updated 3 years ago