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 4 years ago
- Circom circuits such as SHA256, float-add and Fibonacci, developed with Circomkit.☆12Jan 27, 2024Updated 2 years ago
- hardhat + foundry environment for testing and deployment of smart contracts☆10Oct 13, 2025Updated 8 months ago
- Sparse merkle tree functionality for TypeScript and Solidity.☆13Jan 24, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆15Nov 6, 2020Updated 5 years ago
- Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines☆11Feb 13, 2023Updated 3 years ago
- Rust Primitives, Learnings, & Frameworks☆17Mar 29, 2022Updated 4 years ago
- custom modes for agile software development with roo code☆23Apr 10, 2025Updated last year
- Use `forge` and `cast` commands in Python scripts☆19Apr 3, 2022Updated 4 years ago
- Protect your wallet from phishing☆19Jan 1, 2026Updated 6 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☆11Nov 14, 2016Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Extensible, Minimal Template for Sway Projects☆17Jan 3, 2022Updated 4 years ago
- Hybrid A* Path Planner☆10Apr 20, 2020Updated 6 years ago
- The repository which holds the mvr project.☆19Jun 26, 2026Updated last week
- Literally the SIMPLEST implementation of an EVM storage proof inside SP1☆14Nov 26, 2024Updated last year
- Evaluating fuzzer effectiveness☆20Sep 16, 2023Updated 2 years ago
- Implementation of veHND☆13Jan 16, 2023Updated 3 years ago
- Cursor10x is a comprehensive suite of tools that enhances the A.I. agent's capabilities within the Cursor IDE, providing persistent memor…☆25May 7, 2025Updated last year
- ☆17Jan 30, 2022Updated 4 years ago
- Q: What do Seaport Orders and The Circus Have in common? A: They're both intents.☆30May 31, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ChaosChain Genesis Studio: The first end-to-end commercial prototype for ERC-8004. Demonstrating on-chain agent identity, verifiable work…☆40Feb 7, 2026Updated 5 months ago
- Hardhat plugin that adds ways to ignore Solidity warnings☆17Jun 21, 2026Updated 2 weeks ago
- Gnosis Safe Tx Service API client & associated tooling☆21Apr 7, 2023Updated 3 years ago
- Celestia Data Availability Provider for the Arbitrum Nitro stack☆12Jun 11, 2026Updated 3 weeks ago
- An MCP server that provides tools for retrieving and processing documentation through vector search, both locally or hosted. Enabling AI…☆30Feb 11, 2026Updated 4 months ago
- ANOMULY is a general, unsupervised edge anomaly detection framework for multiplex dynamic networks.☆11May 19, 2023Updated 3 years ago
- ☆14Jul 20, 2017Updated 8 years ago
- Get more Matic with your Matic, on Polygon☆11Jun 17, 2021Updated 5 years ago
- ☆14Jan 4, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Automatically exported from code.google.com/p/des-linear-and-differential-cryptoanalysis☆10Nov 15, 2015Updated 10 years ago
- Github actions for common Sui / Walrus development purposes☆19May 14, 2025Updated last year
- 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☆64Mar 30, 2026Updated 3 months ago
- ☆11Nov 16, 2019Updated 6 years ago