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:
- A collection of papers and detection tools related to Smart Contract Auditing.☆24Sep 15, 2024Updated last year
- Artillery script examples for Performance Tests☆13Dec 9, 2022Updated 3 years ago
- Smart surrogate keys for high performance databases☆11May 15, 2022Updated 4 years ago
- A tiny stack machine to learn Ethereum bytecode.☆12Dec 17, 2024Updated last year
- Integrate Tcpdump in AOSP as application framework☆19Oct 23, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆12Aug 23, 2023Updated 2 years ago
- The Earth is flat but Solidity source code is not. This fixes that.☆19Apr 8, 2019Updated 7 years ago
- Solutions for Ethernaut CTF (https://ethernaut.openzeppelin.com) - Writeups at https://notonlyowner.com☆12May 9, 2021Updated 5 years ago
- ☆12Jun 7, 2024Updated 2 years ago
- Telegam bot api for vert.x☆12Apr 6, 2018Updated 8 years ago
- ☆19Apr 7, 2024Updated 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
- HuangGai is an Ethereum smart contract bug injection framework, it can inject 20 types of bugs into Solidity smart contract. DOI: 10.5281…☆46Dec 15, 2021Updated 4 years ago
- ☆17Jan 23, 2024Updated 2 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.
- Interactions between developers and auditors☆12Jan 30, 2024Updated 2 years ago
- Garbage collection for Ada☆12Jan 15, 2023Updated 3 years ago
- A MAL language that demonstrates the Maven project structure☆23Feb 27, 2026Updated 5 months ago
- A web3.0 personal blog supporting membership and onlyMembers posts built on the Ethereum blockchain☆10Feb 23, 2023Updated 3 years ago
- ☆21Jan 16, 2025Updated last year
- Bybit Historical Market Data Downloader☆14Jun 25, 2026Updated last month
- slowroads.io but unblocked ;)☆14May 12, 2024Updated 2 years ago
- ☆16May 1, 2026Updated 3 months ago
- SmartBugs: A Framework to Analyze Ethereum Smart Contracts☆681May 20, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Everything related to practica profesional☆13Aug 18, 2021Updated 4 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 11 months ago
- ☆18Oct 1, 2024Updated last year
- 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
- 🌐 ONetwork Forum - Built from scratch with MERN Stack☆18Apr 15, 2023Updated 3 years ago
- ☆22Apr 17, 2023Updated 3 years ago
- ☆13Sep 22, 2018Updated 7 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Home of course "Programmable Society" at KTH Royal Institute of Technology☆21Dec 12, 2025Updated 8 months ago
- BuzzPod is decentralized platform to find and upload podcasts.☆10Feb 19, 2023Updated 3 years ago
- This example shows how rings network works in wasm and browser envirement.☆14Jan 22, 2024Updated 2 years ago
- Outline of the Agile Artificial Intelligence book☆23Jan 26, 2020Updated 6 years ago
- This platform will enable event organisers to create ticket NFTs to prevent black market selling and fake ticket scams and provide future…☆13May 2, 2023Updated 3 years ago
- MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts☆568Oct 22, 2023Updated 2 years ago
- This repository contains public security audit reports conducted by CyStack☆17Dec 14, 2024Updated last year