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
- Tool to generate csrf payloads based on vulnerable requests☆64Oct 9, 2020Updated 5 years ago
- My Personal Website☆14Mar 24, 2026Updated last month
- 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.
- A flaw for a game called System Flaw☆12Apr 11, 2019Updated 7 years ago
- A list of awesome Cairo and STARK-adjacent projects☆16May 15, 2022Updated 3 years ago
- sui on-chain DCA bot☆12Apr 1, 2024Updated 2 years ago
- Circom circuits such as SHA256, float-add and Fibonacci, developed with Circomkit.☆12Jan 27, 2024Updated 2 years ago
- ☆17Mar 5, 2026Updated 2 months ago
- hardhat + foundry environment for testing and deployment of smart contracts☆10Oct 13, 2025Updated 6 months ago
- ☆15Jun 7, 2024Updated last year
- Sparse merkle tree functionality for TypeScript and Solidity.☆13Jan 24, 2023Updated 3 years ago
- ☆15Nov 6, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines☆11Feb 13, 2023Updated 3 years ago
- 153 field-tested techniques for Claude Code — patterns, architectures, and workflows for developers and AI-native teams☆84Apr 19, 2026Updated 2 weeks ago
- Rust Primitives, Learnings, & Frameworks☆17Mar 29, 2022Updated 4 years ago
- ☆11Nov 16, 2020Updated 5 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 4 months ago
- Python wrapper for Apache Tika, made to be easy_installed☆26Apr 17, 2012Updated 14 years ago
- Integration tests and mocking web3 apps☆14Nov 1, 2018Updated 7 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.
- Apache Beam Python examples and templates.☆14Dec 8, 2022Updated 3 years ago
- SpecOps is a Burp Suite extension that ingests an OpenAPI or Swagger spec and instantly builds a workbench to test every documented endpo…☆32Mar 27, 2026Updated last month
- Cross-chain proofs and atomic transactions☆18Aug 29, 2018Updated 7 years ago
- Ubuntu color theme for Emacs 24☆11Aug 23, 2015Updated 10 years ago
- All the hacker jobs in one place.☆74Feb 6, 2015Updated 11 years ago
- Zsh goodies for MacOS users☆25Oct 7, 2024Updated last year
- 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
- Personal music charts☆24Mar 11, 2026Updated last month
- 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.
- Extensible, Minimal Template for Sway Projects☆17Jan 3, 2022Updated 4 years ago
- My solutions and explanations of the http://cryptopals.com/ challenges.☆26Jul 6, 2021Updated 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
- The repository which holds the mvr project.☆19Jan 26, 2026Updated 3 months ago
- Evaluating fuzzer effectiveness☆20Sep 16, 2023Updated 2 years ago
- Implementation of veHND☆13Jan 16, 2023Updated 3 years ago