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:
- gimme karmas nowโ11Sep 9, 2021Updated 4 years ago
- Honeyswap Default Token List ๐ฏโ10May 4, 2024Updated 2 years ago
- โ10Mar 15, 2023Updated 3 years ago
- My Personal Websiteโ14May 3, 2026Updated 3 weeks ago
- A flaw for a game called System Flawโ12Apr 11, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform โข AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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 7 months ago
- Sparse merkle tree functionality for TypeScript and Solidity.โ13Jan 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
- 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
- Integration tests and mocking web3 appsโ14Nov 1, 2018Updated 7 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.
- notes on distributed systems papers and miscellaneous readingโ12Nov 14, 2016Updated 9 years ago
- A meta-extension bundling marketplace plugins for secure Ethereum smart contract development.โ22Apr 3, 2024Updated 2 years ago
- Extensible, Minimal Template for Sway Projectsโ17Jan 3, 2022Updated 4 years ago
- Hybrid A* Path Plannerโ10Apr 20, 2020Updated 6 years ago
- Literally the SIMPLEST implementation of an EVM storage proof inside SP1โ14Nov 26, 2024Updated last year
- 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
- โ16Mar 29, 2024Updated 2 years ago
- โ17Jan 30, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer โข AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- โ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
- ChaosChain Genesis Studio: The first end-to-end commercial prototype for ERC-8004. Demonstrating on-chain agent identity, verifiable workโฆโ39Feb 7, 2026Updated 3 months ago
- Hardhat plugin that adds ways to ignore Solidity warningsโ17May 22, 2026Updated last week
- MIP21 exampleโ15Jun 20, 2022Updated 3 years ago
- Gnosis Safe Tx Service API client & associated toolingโ21Apr 7, 2023Updated 3 years ago
- An MCP server that provides tools for retrieving and processing documentation through vector search, both locally or hosted. Enabling AIโฆโ29Feb 11, 2026Updated 3 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
- Managed Database hosting by DigitalOcean โข AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Solana Smart contract involving Token Swap Program, Token Program, System Program, PDAโ26Nov 1, 2021Updated 4 years ago
- Get more Matic with your Matic, on Polygonโ11Jun 17, 2021Updated 4 years ago
- WP in containersโ23Feb 14, 2018Updated 8 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
- Ilya Sutskever ๆจ่็30็ฏDeep learning ๅฟ ่ฏป่ฎบๆ (ไธญ่ฑๆๅฏน็ ง็ฟป่ฏ็๏ผโ14Dec 18, 2024Updated last year
- Static aTokens for Aave v3, based on value increase (exchange rate based) instead of balance increaseโ24Jul 15, 2024Updated last year