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
Sorting:
- VTEX API Wrapper for Python☆14May 21, 2024Updated last year
- ☆11Apr 24, 2023Updated 2 years ago
- Scan any running MCP server to produce an actionable security report of vulnerabilities and misconfigurations.☆20Nov 17, 2025Updated 3 months ago
- ☆10Jun 10, 2022Updated 3 years ago
- Honeyswap Default Token List 🍯☆10May 4, 2024Updated last year
- ☆10Feb 21, 2022Updated 4 years ago
- MIP21 example☆15Jun 20, 2022Updated 3 years ago
- ANOMULY is a general, unsupervised edge anomaly detection framework for multiplex dynamic networks.☆11May 19, 2023Updated 2 years ago
- Airport Gate Scheduling System is an automatic assignment of Landing time and Take-off time for each of the airplanes based on various co…☆10Nov 29, 2019Updated 6 years ago
- MoonCat aggregation server for MoonCatRescue Ethereum smart contract☆11Jan 24, 2023Updated 3 years ago
- Celestia Data Availability Provider for the Arbitrum Nitro stack☆12Updated this week
- Circom circuits such as SHA256, float-add and Fibonacci, developed with Circomkit.☆11Jan 27, 2024Updated 2 years ago
- CLI for Uniswap Protocol V2☆10May 7, 2021Updated 4 years ago
- Syscoin JS SDK☆11Jan 16, 2026Updated last month
- SpecOps is a Burp Suite extension that ingests an OpenAPI or Swagger spec and instantly builds a workbench to test every documented endpo…☆30Updated this week
- Hybrid A* Path Planner☆10Apr 20, 2020Updated 5 years ago
- Forkable template to get you started with Foundry's Forge☆12Mar 5, 2023Updated 3 years ago
- BSCPad Staking Contract☆11Mar 18, 2021Updated 4 years ago
- sui on-chain DCA bot☆12Apr 1, 2024Updated last year
- PageSpeed Insights☆11Apr 17, 2020Updated 5 years ago
- ☆14Jan 4, 2023Updated 3 years ago
- Code for "Contextualized Embeddings in Named-Entity Recognition", ECIR 2020☆13Jul 25, 2024Updated last year
- Alkemi Protocol Smart Contracts☆10Jan 24, 2023Updated 3 years ago
- Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines☆11Feb 13, 2023Updated 3 years ago
- ☆11Jun 21, 2022Updated 3 years ago
- ☆10Mar 15, 2023Updated 2 years ago
- Web page preview and analysis tool☆12Jan 11, 2023Updated 3 years ago
- Ilya Sutskever 推荐的30篇Deep learning 必读论文 (中英文对照翻译版）☆13Dec 18, 2024Updated last year
- A dotnet standard wrapper for the Uniswap V2 Subgraph on The Graph GraphQL API.☆12Dec 17, 2020Updated 5 years ago
- Get more Matic with your Matic, on Polygon☆11Jun 17, 2021Updated 4 years ago
- ☆16Mar 29, 2024Updated last year
- my global CLAUDE.md☆21Aug 16, 2025Updated 6 months ago
- Simple web app to track OWASP WSTG security testing progress☆27Sep 12, 2025Updated 5 months ago
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated 6 months ago
- ☆11Nov 16, 2019Updated 6 years ago
- reuseable github actions workflows☆11Mar 2, 2026Updated last week
- Swarm Gateway website☆11Mar 5, 2025Updated last year
- hardhat + foundry environment for testing and deployment of smart contracts☆10Oct 13, 2025Updated 4 months ago
- A list of awesome Cairo and STARK-adjacent projects☆16May 15, 2022Updated 3 years ago