Alternatives and similar repositories for learn-z3:

Users that are interested in learn-z3 are comparing it to the libraries listed below

• PwnFunction / v8-randomness-predictor
  Using z3 to predict `Math.random` in v8
  ☆272Updated 2 years ago
• hofill / AES-CTF-Tool
  ☆42Updated last year
• Et3rnos / ImaginaryCTF
  ImaginaryCTF is a platform that brings the beauty of CTF Competitions to discord, releasing a challenge every day
  ☆43Updated 7 months ago
• LiveOverflow / security-research
  Security Research
  ☆40Updated 2 years ago
• sigpwny / ctfd2pages
  A tool to easily archive CTFd sites to GitHub Pages
  ☆32Updated last week
• icemonster / symbolic_mersenne_cracker
  Models the mersenne twister used by Python Random as a symbolic program. This allows recovering the state given a few outputs
  ☆73Updated 3 years ago
• redpwn / jail
  An nsjail Docker image for CTF pwnables. Easily create secure, isolated xinetd/inetd-style services.
  ☆190Updated 7 months ago
• brainstormerjr / HelloWorldOS
  The new up and coming operating system
  ☆184Updated 5 months ago
• LiveOverflow / pwnedit
  CVE-2021-3156 - Sudo Baron Samedit
  ☆222Updated 3 years ago
• PwnFunction / Next.js-Flat-Prototype-Pollution
  Prototype Pollution using `flat` with Next.js
  ☆102Updated last week
• stong / ctf_clusters
  visualizing CTF clusters (teams playing together at DEFCON)
  ☆27Updated last year
• cryptohack / ctf_archive
  Hosting awesome cryptography CTF challenges from past CTFs
  ☆106Updated last month
• datajerk / ctf-write-ups
  My write-ups from various CTFs
  ☆115Updated last year
• CybersecNatLab / ICC2022-AD-CTF
  Attack/Defense services for the 1st International Cybersecurity Challenge 2022 - Athens
  ☆81Updated last year
• redpwn / rctf
  redpwn's CTF platform
  ☆269Updated 3 weeks ago
• Hedroed / png-parser
  Analyse PNG file format for CTF, python API and CLI
  ☆97Updated last year
• ViRb3 / z3-python-ctf
  🐍 Solving CTF challenges using Z3 and Python
  ☆55Updated last year
• d0nutptr / v8_rand_buster
  ☆61Updated 4 years ago
• mahaloz / ctf-wiki-en
  A full English version of the popular ctf-wiki
  ☆87Updated 7 months ago
• elliptic-shiho / primefac-fork
  a fork of primefac(https://pypi.python.org/pypi/primefac) module
  ☆82Updated 7 months ago
• OpenAttackDefenseTools / ataka
  Runs exploits, fast.
  ☆80Updated 7 months ago
• DaCoolOne / DumbIdeas
  ☆67Updated last year
• HHousen / PicoCTF-2021
  Hayden Housen's solutions to the 2021 PicoCTF Competition
  ☆54Updated last year
• sahuang / my-ctf-challenges
  Source code and solution of CTF challenges that I created.
  ☆46Updated 8 months ago
• DownUnderCTF / Challenges_2023_Public
  Files + Writeups for DownUnderCTF 2023 Challenges
  ☆169Updated last year
• welchbj / ctf
  knowledge is power
  ☆208Updated 11 months ago
• tna0y / Python-random-module-cracker
  Predict python's random module generated values.
  ☆393Updated 3 months ago
• orisano / owiener
  A Python3 implementation of the Wiener attack on RSA
  ☆118Updated 9 months ago
• ECSC2024 / ECSC2024-CTF-Jeopardy
  Jeopardy challenges for #ECSC2024 held in Turin, Italy from 8th to 11th October 2024
  ☆34Updated 4 months ago
• jailctf / pyjailbreaker
  Python sandbox escape wiki + payload generator
  ☆71Updated 5 months ago