MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts
☆16Mar 1, 2022Updated 4 years ago
Alternatives and similar repositories for MAIAN
Users that are interested in MAIAN are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆17Dec 10, 2025Updated 4 months ago
- A collection of papers and detection tools related to Smart Contract Auditing.☆23Sep 15, 2024Updated last year
- Integrate Tcpdump in AOSP as application framework☆19Oct 23, 2024Updated last year
- ☆10Jul 19, 2023Updated 2 years ago
- HuangGai is an Ethereum smart contract bug injection framework, it can inject 20 types of bugs into Solidity smart contract. DOI: 10.5281…☆44Dec 15, 2021Updated 4 years ago
- 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.
- Evaluation Results for the Paper "EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts"☆13May 28, 2021Updated 4 years ago
- ☆10Jul 1, 2024Updated last year
- The Earth is flat but Solidity source code is not. This fixes that.☆19Apr 8, 2019Updated 7 years ago
- Minimal Viable Gator 🐊☆15Feb 28, 2025Updated last year
- A tiny stack machine to learn Ethereum bytecode.☆12Dec 17, 2024Updated last year
- Solutions for Ethernaut CTF (https://ethernaut.openzeppelin.com) - Writeups at https://notonlyowner.com☆11May 9, 2021Updated 4 years ago
- ☆17Jan 23, 2024Updated 2 years ago
- ☆11Jun 7, 2024Updated last year
- Interactions between developers and auditors☆11Jan 30, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Artillery script examples for Performance Tests☆13Dec 9, 2022Updated 3 years ago
- A scanner for DKIM selectors.☆12Nov 5, 2018Updated 7 years ago
- ☆19Apr 7, 2024Updated 2 years ago
- ☆14Mar 2, 2026Updated last month
- A web3.0 personal blog supporting membership and onlyMembers posts built on the Ethereum blockchain☆10Feb 23, 2023Updated 3 years ago
- ☆12Aug 23, 2023Updated 2 years ago
- ChainCare is a health information system that uses smart contracts to handle medical procedures and stores the medical history in Block C…☆13Mar 27, 2023Updated 3 years ago
- Telegam bot api for vert.x☆12Apr 6, 2018Updated 8 years ago
- 🔩 Uniswap v4 base hook that implements v4-like liquidity logic.☆20Aug 17, 2024Updated last year
- 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.
- ☆18Apr 10, 2023Updated 3 years ago
- SmartBugs: A Framework to Analyze Ethereum Smart Contracts☆667Mar 30, 2026Updated last week
- Everything related to practica profesional☆13Aug 18, 2021Updated 4 years ago
- ☆10Nov 29, 2023Updated 2 years ago
- A project to automatically generate program repair recommendation in the field of smart contracts for given code snippets with their cont…☆16Aug 30, 2025Updated 7 months ago
- A NodeJS package for running code in parallel. Initially created to provide multiprocessing in an AWS Lambda function, but it can be used…☆15May 12, 2023Updated 2 years ago
- ☆16Jul 23, 2025Updated 8 months ago
- ☆21Apr 17, 2023Updated 2 years ago
- slowroads.io but unblocked ;)☆13May 12, 2024Updated last year
- 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.
- ☆17Oct 1, 2024Updated last year
- Outline of the Agile Artificial Intelligence book☆23Jan 26, 2020Updated 6 years ago
- KYC verification system using Blockchain.☆12Apr 29, 2023Updated 2 years ago
- A decentralized alternative to proprietary and centralized cloud storage.☆15Mar 8, 2023Updated 3 years ago
- Everything related to blockchain security☆11Sep 4, 2019Updated 6 years ago
- ☆14Sep 28, 2023Updated 2 years ago
- LLM-SmartAudit is a cutting-edge tool designed to revolutionize smart contract auditing using advanced language models.☆62Aug 17, 2025Updated 7 months ago