PwnFunction / learn-z3

Related projects ⓘ

Alternatives and complementary repositories for learn-z3

• PwnFunction / v8-randomness-predictor
  Using z3 to predict `Math.random` in v8
  ☆255Updated 2 years ago
• LiveOverflow / security-research
  Security Research
  ☆40Updated 2 years ago
• PwnFunction / CVE-2021-4034
  Proof of concept for pwnkit vulnerability
  ☆337Updated last year
• sigpwny / ctfd2pages
  A tool to easily archive CTFd sites to GitHub Pages
  ☆30Updated 3 weeks ago
• kammt / MemeAssembly
  A Meme-based programming language
  ☆71Updated 3 weeks ago
• redpwn / rcds
  redpwn's challenge deployment system
  ☆23Updated 10 months ago
• redpwn / jail
  An nsjail Docker image for CTF pwnables. Easily create secure, isolated xinetd/inetd-style services.
  ☆172Updated 3 months ago
• d0nutptr / v8_rand_buster
  ☆52Updated 4 years ago
• enjeck / num2math
  Complicated math expression generator
  ☆97Updated 4 months ago
• redpwn / rctf
  redpwn's CTF platform
  ☆266Updated 3 months ago
• stew675 / standup5x5
  Solutions to Stand Up Maths 5x5 Unique 25 letter problem
  ☆119Updated last year
• uclaacm / lactf-archive
  An archive of past challenges from LA CTF hosted by ACM Cyber at UCLA and Psi Beta Rho.
  ☆101Updated 3 months ago
• Et3rnos / ImaginaryCTF
  ImaginaryCTF is a platform that brings the beauty of CTF Competitions to discord, releasing a challenge every day
  ☆44Updated 3 months ago
• stong / ctf_clusters
  visualizing CTF clusters (teams playing together at DEFCON)
  ☆27Updated last year
• radian628 / desmoscript
  Desmos scripting language and successor to LISPsmos.
  ☆104Updated last year
• HHousen / PicoCTF-2021
  Hayden Housen's solutions to the 2021 PicoCTF Competition
  ☆52Updated last year
• netspooky / golfclub
  Binary Golf Examples and Resources
  ☆248Updated 4 months ago
• mahaloz / ike
  'Ike: A binary exploitation and reversing handbook.
  ☆69Updated last year
• mahaloz / ctf-wiki-en
  A full English version of the popular ctf-wiki
  ☆79Updated 4 months ago
• SinaKhalili / Folders.py
  Implementation of the Folders📂 esoteric programming language, a language with no code and just folders.
  ☆445Updated 2 years ago
• CybersecNatLab / ICC2022-AD-CTF
  Attack/Defense services for the 1st International Cybersecurity Challenge 2022 - Athens
  ☆78Updated last year
• cscosu / buckeyectf-2022-public
  Source for BuckeyeCTF 2022 challenges
  ☆28Updated 2 years ago
• BigB00st / binary-protection-flags
  Cheat sheet of binary protections flags
  ☆22Updated 4 years ago
• DownUnderCTF / Challenges_2023_Public
  Files + Writeups for DownUnderCTF 2023 Challenges
  ☆169Updated last year
• rhombusgg / rhombus
  The CTF framework for busy hackers
  ☆12Updated this week
• pwncollege / challenges
  Set of pre-generated pwn.college challenges
  ☆59Updated last year
• jailctf / pyjailbreaker
  Python sandbox escape wiki + payload generator
  ☆51Updated last month
• ViRb3 / z3-python-ctf
  🐍 Solving CTF challenges using Z3 and Python
  ☆50Updated last year
• RischardV / emoji-shellcoding
  🤩 Emoji shellcoding tools for RISC-V (32-bit and 64-bit)
  ☆174Updated last year
• TJCSec / klodd
  CTF challenge per-team instance runner
  ☆26Updated last year