Web3 Security Research Portfolio
☆13Jun 9, 2026Updated 4 months ago
Alternatives and similar repositories for audits
Users that are interested in audits are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- BugBounty-Tips☆30Nov 15, 2025Updated 11 months ago
- Halmos vs Damn Vulnerable DeFi is the series of articles about solving the Damn Vulnerable DeFi CTF using the Halmos symbolic analyzer.☆34Feb 25, 2025Updated last year
- Smart Contract for Nigerian thrift saving system Ajo (Esusu)☆11Oct 1, 2022Updated 4 years ago
- Solutions for LeetCode problems using Kotlin , I am trying daily solve new problem in leetcode monthly challenges .☆10May 20, 2025Updated last year
- ☆12Oct 29, 2025Updated last year
- 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.
- A DSAuthority for up to 256 roles☆16Jul 29, 2021Updated 5 years ago
- Export to GBounty is a Burp Suite extension that enables users to export selected HTTP requests from Burp Suite into a compressed ZIP fil…☆11Oct 9, 2024Updated 2 years ago
- ☆16Jun 14, 2026Updated 4 months ago
- Mutation testing tool for circom☆16Jul 4, 2023Updated 3 years ago
- Rust API scanner — spec, URL, fuzz, ghost mode, JS bundle analysis☆12Jul 22, 2026Updated 3 months ago
- A curated list of resources, tools, and wordlists for bug bounty hunters.☆24Oct 16, 2026Updated last week
- ☆13Jul 11, 2023Updated 3 years ago
- formal verification of multicollateral dai in the K framework☆15Sep 10, 2021Updated 5 years ago
- This is a companion software based on the Acunetix Web Vulnerability Scanner 13 scanning engine.☆10Oct 17, 2020Updated 6 years ago
- 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.
- An AI powered weather app built with Jetpack Compose, Open-Meteo weather API and OpenAI API / Gemini Client SDK. Uses Material 3 and supp…☆20Jan 21, 2024Updated 2 years ago
- An alternative calldata encoding scheme for Solidity contracts.☆12Dec 14, 2023Updated 2 years ago
- [WIP] Foundry (https://github.com/foundry-rs/foundry) YAML scripting ala Ansible Playbook☆14Jun 16, 2022Updated 4 years ago
- acunetix 13 crack by mtd☆14Feb 29, 2020Updated 6 years ago
- Little Yellow Chicken CTF Writeups☆17Sep 3, 2026Updated last month
- A curated learning map for AI + Cybersecurity — 16 topics, 4 reading paths, every link hand-picked.☆16May 1, 2026Updated 5 months ago
- ☆65Jan 16, 2023Updated 3 years ago
- ☆14Jul 18, 2026Updated 3 months ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆16Jun 4, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆28Dec 4, 2025Updated 10 months ago
- A guide to smart contract security best practices☆27Mar 28, 2025Updated last year
- Every Solution to the Openzeppelin's Ethernaut wargame☆12Oct 14, 2022Updated 4 years ago
- OAKLAND BLOCKCHAIN DEVELOPERS: In this session we will be recreating a reentrancy attack on smart contract. http://www.blockchaindevelope…☆14Jun 28, 2019Updated 7 years ago
- ☆11Jul 16, 2023Updated 3 years ago
- Evaluating fuzzer effectiveness☆20Sep 16, 2023Updated 3 years ago
- A blazing fast, multi-threaded web shell and admin panel finder written in Python 3. 🚀☆17Jan 1, 2026Updated 9 months ago
- Based Ethereum framework for writing tests in Rust☆12Dec 17, 2023Updated 2 years ago
- Directory with previous Curta puzzlest that were hosted on Curta.wtf☆10Jul 23, 2024Updated 2 years ago
- 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.
- EthernautDAO reputation system☆13Jun 1, 2022Updated 4 years ago
- ☆12Oct 31, 2021Updated 4 years ago
- ☆14Aug 29, 2023Updated 3 years ago
- Elevate your bug bounty game with our treasure trove of FREE resources! 🚀 Dive into a world of expert guides, cheat sheets, and tools to…☆28Oct 19, 2024Updated 2 years ago
- Protocol Engineering Checklists☆27Updated this week
- DLL2SO Toolkit - Vector OS is a utility designed to convert .DLL (Dynamic Link Library) files into .SO (Shared Object) files, optimized f…☆12Apr 25, 2025Updated last year
- Vector Operating System is an innovative and efficient OS designed for optimized performance, stability, and scalability. It leverages ad…☆11May 29, 2026Updated 5 months ago