ViRb3/z3-python-ctf external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

ViRb3/z3-python-ctf

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/ViRb3/z3-python-ctf)

Close

ViRb3 / z3-python-ctfView on GitHubMore

• External links
• Readme badge

🐍 Solving CTF challenges using Z3 and Python

☆63Jun 14, 2023Updated 3 years ago

Alternatives and similar repositories for z3-python-ctf

Users that are interested in z3-python-ctf are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• bridgeythegeek / ndispktscan

  View on GitHub
  NDISPktScan is a plugin for the Volatility Framework. It parses the Ethernet packets stored by ndis.sys in Windows kernel space memory.
  ☆12Oct 23, 2015Updated 10 years ago
• FrancescoLucarini / Awesome-Sandbox-Escape

  View on GitHub
  A mix of learning resources, my notes and mostly ctf writeup of sandbox escape challenges
  ☆11Jun 6, 2023Updated 3 years ago
• bliutech / TaintMonkey

  View on GitHub
  MIT IEEE URTC 2025. GSET 2025. Repository for "TaintMonkey: Dynamic Taint Analysis of Python Web Applications Using Monkey Patching". A P…
  ☆16Aug 28, 2025Updated 11 months ago
• FarghlyMal / leaked_src

  View on GitHub
  some leaked src code for known and unknown malwares
  ☆23Aug 15, 2025Updated last year
• nobodyisnobody / nobodyisnobody

  View on GitHub
  My personnal repository
  ☆10Sep 2, 2025Updated 11 months ago
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• slyd0g / SK8PARK

  View on GitHub
  Python 3 server used to control SK8RAT implant
  ☆36Jan 5, 2021Updated 5 years ago
• zeyu2001 / CTFs

  View on GitHub
  Here you can find writeups from various CTFs that I've participated in.
  ☆12Jul 30, 2023Updated 3 years ago
• stephenJoester / fake_news_detection

  View on GitHub
  ☆10Jan 18, 2024Updated 2 years ago
• sahuang / my-ctf-challenges

  View on GitHub
  Source code and solution of CTF challenges that I created.
  ☆46Jun 25, 2025Updated last year
• nejohnson2 / homebrew-sdr

  View on GitHub
  Installing SDR based applications through Homebrew
  ☆22Jan 15, 2019Updated 7 years ago
• Djimmer / obts

  View on GitHub
  OpenBTS 5.0 + Testcall
  ☆18Jan 13, 2017Updated 9 years ago
• jeff-hykin / better-c-syntax

  View on GitHub
  📦
  ☆10Mar 6, 2023Updated 3 years ago
• docfate111 / CVE-2021-42327

  View on GitHub
  kernel exploit POC for vulnerability i found in amd gpu driver
  ☆10Jan 6, 2023Updated 3 years ago
• momika233 / Burp-Rxss-scan-TG

  View on GitHub
  ☆13Mar 6, 2025Updated last year
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• ReAbout / Reference-of-Vehicle-Security

  View on GitHub
  Reference of Vehicle Security。
  ☆11Aug 13, 2021Updated 5 years ago
• ZephrFish / Lepus

  View on GitHub
  Subdomain finder
  ☆11Jul 30, 2026Updated 2 weeks ago
• LMS57 / TempleOfPwn

  View on GitHub
  All Files, Scripts, and exploits can be found here
  ☆73Apr 16, 2021Updated 5 years ago
• bleedx-93 / Camus

  View on GitHub
  Reverse_Shell Implemented in C++ with the ability to bypass sandboxes
  ☆12Apr 2, 2021Updated 5 years ago
• ThunderGunExpress / UAC-TokenDuplication

  View on GitHub
  ☆37Nov 4, 2017Updated 8 years ago
• soreatu / My-CTF-Challenge

  View on GitHub
  Collections of all CTF challenges made by me.
  ☆20Apr 14, 2024Updated 2 years ago
• synacktiv / CTF-Write-ups

  View on GitHub
  Some CTF Write-ups
  ☆27Feb 7, 2022Updated 4 years ago
• fatboyer / Android_Security

  View on GitHub
  ☆10Dec 10, 2025Updated 8 months ago
• DanusMinimus / snallybuckster

  View on GitHub
  Locate intersting files in grayhatwarfare.com open S3 buckets and Azure blobs automatically!
  ☆28Apr 6, 2022Updated 4 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• r3dhun9 / IDARustler

  View on GitHub
  IDA plugin helping reverse-engineering rust binaries
  ☆36Jul 31, 2024Updated 2 years ago
• wani-hackase / wanictf2023-writeup

  View on GitHub
  WaniCTF 2023 official writeup & source code
  ☆23Jun 7, 2023Updated 3 years ago
• starbugs-ctf / Siren

  View on GitHub
  Attack & Defense CTF dashboard
  ☆16Oct 7, 2021Updated 4 years ago
• jakespringer / angr_ctf

  View on GitHub
  ☆1,122Mar 14, 2024Updated 2 years ago
• greentfrapp / apple-neuralhash-attack

  View on GitHub
  Demonstrates iterative FGSM on Apple's NeuralHash model.
  ☆16Aug 19, 2021Updated 5 years ago
• thibmeu / tlock-worker

  View on GitHub
  Demonstration worker supporting timelock encryption.
  ☆15Feb 29, 2024Updated 2 years ago
• HyggeHalcyon / CTFs

  View on GitHub
  CTFs solve scripts
  ☆19Jan 9, 2026Updated 7 months ago
• 7etsuo / http-server

  View on GitHub
  HTTP Server in C
  ☆41Sep 22, 2024Updated last year
• zAbuQasem / gogs-CVE-2025-8110

  View on GitHub
  CVE-2025-8110 PoC
  ☆30Dec 24, 2025Updated 7 months ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• bcoles / serenity-exploits

  View on GitHub
  Various exploits for SerenityOS
  ☆17Oct 29, 2021Updated 4 years ago
• sh4m2hwz / VMPSimplifierUltra

  View on GitHub
  Simplifier vmp ultra
  ☆22Dec 9, 2023Updated 2 years ago
• JaewookYou / web-ctf-edu-challs

  View on GitHub
  web ctf edu challs
  ☆13Jun 3, 2026Updated 2 months ago
• nneonneo / sstic-2021

  View on GitHub
  Files for my solution to the SSTIC 2021 challenge
  ☆15Jun 14, 2021Updated 5 years ago
• ariary / gitar

  View on GitHub
  📡 Ease file sharing during pentest/CTF 🎸
  ☆10May 18, 2026Updated 3 months ago
• AWilliams17 / MemTools

  View on GitHub
  A wrapper for memory hacking related functions (WriteProcessMemory, ReadProcessMemory, etc) as well as a DLL injection function and patte…
  ☆18May 29, 2020Updated 6 years ago
• H0j3n / EzpzSharepoint

  View on GitHub
  ☆26Jan 27, 2022Updated 4 years ago