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:
- Honeyswap Default Token List 🍯☆10May 4, 2024Updated 2 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
- Sparse merkle tree functionality for TypeScript and Solidity.☆13Jan 24, 2023Updated 3 years ago
- hardhat + foundry environment for testing and deployment of smart contracts☆10Oct 13, 2025Updated last year
- 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.
- Rust Primitives, Learnings, & Frameworks☆17Mar 29, 2022Updated 4 years ago
- Use `forge` and `cast` commands in Python scripts☆19Apr 3, 2022Updated 4 years ago
- Implementation of veHND☆13Jan 16, 2023Updated 3 years ago
- Integration tests and mocking web3 apps☆14Nov 1, 2018Updated 7 years ago
- Cross-chain proofs and atomic transactions☆18Aug 29, 2018Updated 8 years ago
- Apache Beam Python examples and templates.☆14Dec 8, 2022Updated 3 years ago
- notes on distributed systems papers and miscellaneous reading☆11Nov 14, 2016Updated 9 years ago
- ☆11Jun 21, 2022Updated 4 years ago
- Ubuntu color theme for Emacs 24☆11Aug 23, 2015Updated 11 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- AI-native command-line interface for managing Raindrop.io bookmarks, collections, and tags.☆15Jun 3, 2026Updated 4 months ago
- Hybrid A* Path Planner☆11Apr 20, 2020Updated 6 years ago
- Evaluating fuzzer effectiveness☆20Sep 16, 2023Updated 3 years ago
- Literally the SIMPLEST implementation of an EVM storage proof inside SP1☆13Nov 26, 2024Updated last year
- Hardhat plugin that adds ways to ignore Solidity warnings☆17Sep 19, 2026Updated 3 weeks ago
- ☆15Nov 25, 2025Updated 10 months ago
- ☆16Mar 29, 2024Updated 2 years ago
- Q: What do Seaport Orders and The Circus Have in common? A: They're both intents.☆29May 31, 2023Updated 3 years ago
- HTTP service for Tensorflow images classification model☆14Jun 21, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆17Jan 30, 2022Updated 4 years ago
- Gnosis Safe Tx Service API client & associated tooling☆21Apr 7, 2023Updated 3 years ago
- ANOMULY is a general, unsupervised edge anomaly detection framework for multiplex dynamic networks.☆11May 19, 2023Updated 3 years ago
- ☆22Nov 11, 2021Updated 4 years ago
- Solana Smart contract involving Token Swap Program, Token Program, System Program, PDA☆26Nov 1, 2021Updated 4 years ago
- ☆14Jul 20, 2017Updated 9 years ago
- ☆14Jan 4, 2023Updated 3 years ago
- My experimental tree to implement monitor services☆18Dec 30, 2013Updated 12 years ago
- Automatically exported from code.google.com/p/des-linear-and-differential-cryptoanalysis☆10Nov 15, 2015Updated 10 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.
- Code samples for the QlikView Extension tutorial on http://www.qlikblog.at/extension-tutorial/☆20Dec 3, 2013Updated 12 years ago
- Testing Ethereum reorgs in a private geth network☆30Jan 6, 2023Updated 3 years ago
- Web page preview and analysis tool☆12Jan 11, 2023Updated 3 years ago
- Installation tooling for Noir☆34Sep 17, 2026Updated last month
- Releases of the Vyper compiler for ZKsync.☆28Jul 10, 2025Updated last year
- ☆31Aug 28, 2023Updated 3 years ago
- WP in containers☆23Feb 14, 2018Updated 8 years ago