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 last year
- ☆10Mar 15, 2023Updated 3 years ago
- My Personal Website☆14Mar 2, 2026Updated 3 weeks ago
- A flaw for a game called System Flaw☆12Apr 11, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A list of awesome Cairo and STARK-adjacent projects☆16May 15, 2022Updated 3 years ago
- sui on-chain DCA bot☆12Apr 1, 2024Updated last year
- 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 5 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
- custom modes for agile software development with roo code☆23Apr 10, 2025Updated 11 months ago
- Rust Primitives, Learnings, & Frameworks☆17Mar 29, 2022Updated 4 years ago
- Python wrapper for Apache Tika, made to be easy_installed☆26Apr 17, 2012Updated 13 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.
- Integration tests and mocking web3 apps☆14Nov 1, 2018Updated 7 years ago
- Apache Beam Python examples and templates.☆14Dec 8, 2022Updated 3 years ago
- Cross-chain proofs and atomic transactions☆18Aug 29, 2018Updated 7 years ago
- All the hacker jobs in one place.☆74Feb 6, 2015Updated 11 years ago
- 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 last year
- Personal music charts☆24Mar 11, 2026Updated 2 weeks ago
- Hybrid A* Path Planner☆10Apr 20, 2020Updated 5 years ago
- Literally the SIMPLEST implementation of an EVM storage proof inside SP1☆14Nov 26, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Evaluating fuzzer effectiveness☆20Sep 16, 2023Updated 2 years ago
- Implementation of veHND☆13Jan 16, 2023Updated 3 years ago
- ☆16Mar 29, 2024Updated 2 years ago
- HTTP service for Tensorflow images classification model☆15Jun 21, 2017Updated 8 years ago
- ☆17Jan 30, 2022Updated 4 years ago
- ☆11Jun 21, 2022Updated 3 years ago
- ChaosChain Genesis Studio: The first end-to-end commercial prototype for ERC-8004. Demonstrating on-chain agent identity, verifiable work…☆40Feb 7, 2026Updated last month
- Q: What do Seaport Orders and The Circus Have in common? A: They're both intents.☆30May 31, 2023Updated 2 years ago
- A contextual news development environment.☆49Dec 19, 2014Updated 11 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Library for creating corrupted calldata.☆27Mar 8, 2023Updated 3 years ago
- Gnosis Safe Tx Service API client & associated tooling☆21Apr 7, 2023Updated 2 years ago
- Celestia Data Availability Provider for the Arbitrum Nitro stack☆12Updated this week
- An MCP server that provides tools for retrieving and processing documentation through vector search, both locally or hosted. Enabling AI…☆26Feb 11, 2026Updated last month
- ANOMULY is a general, unsupervised edge anomaly detection framework for multiplex dynamic networks.☆11May 19, 2023Updated 2 years ago
- ☆14Jul 20, 2017Updated 8 years ago
- Solana Smart contract involving Token Swap Program, Token Program, System Program, PDA☆27Nov 1, 2021Updated 4 years ago