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
  ☆312Updated 3 years ago
• LiveOverflow / security-research
  Security Research
  ☆39Updated 3 years ago
• PwnFunction / CVE-2021-4034
  Proof of concept for pwnkit vulnerability
  ☆347Updated 2 years ago
• redpwn / rctf
  redpwn's CTF platform
  ☆274Updated 6 months ago
• LiveOverflow / pwnedit
  CVE-2021-3156 - Sudo Baron Samedit
  ☆220Updated 3 years ago
• tna0y / Python-random-module-cracker
  Predict python's random module generated values.
  ☆419Updated 9 months ago
• kammt / MemeAssembly
  A Meme-based programming language
  ☆70Updated last month
• 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
  ☆92Updated 4 years ago
• redpwn / jail
  An nsjail Docker image for CTF pwnables. Easily create secure, isolated xinetd/inetd-style services.
  ☆221Updated last year
• uclaacm / lactf-archive
  An archive of past challenges from LA CTF hosted by ACM Cyber at UCLA and Psi Beta Rho.
  ☆138Updated 6 months ago
• Hedroed / png-parser
  Analyse PNG file format for CTF, python API and CLI
  ☆102Updated 2 years ago
• hofill / AES-CTF-Tool
  ☆45Updated 2 years ago
• sigpwny / ctfd2pages
  A tool to easily archive CTFd sites to GitHub Pages
  ☆36Updated 6 months ago
• ky28059 / bctf
  The updated website for b01lers CTF!
  ☆12Updated 3 months ago
• PwnFunction / Blank-Rick-Roll
  Rick Roll website that has hidden code.
  ☆411Updated 3 years ago
• pepsipu / aski
  Assembly needs a modern makeover! Aski is a compiled programming language allowing programming as low abstraction as Assembly but a synta…
  ☆24Updated 5 years ago
• CameronLonsdale / MTP
  Many-Time Pad Interactive
  ☆176Updated last year
• d0nutptr / v8_rand_buster
  ☆73Updated 5 years ago
• DownUnderCTF / Challenges_2023_Public
  Files + Writeups for DownUnderCTF 2023 Challenges
  ☆171Updated last year
• DownUnderCTF / Challenges_2021_Public
  Writeups for the challenges from DownUnderCTF 2021
  ☆176Updated 2 years ago
• corkami / mitra
  A generator of weird files (binary polyglots, near polyglots, polymocks...)
  ☆1,229Updated 8 months ago
• LiveOverflow / ctf-screenshotter
  a CTF web challenge about making screenshots
  ☆225Updated 3 years ago
• kmyk / mersenne-twister-predictor
  Predict MT19937 PRNG, from preceding 624 generated numbers. There is a specialization for the "random" of Python standard library.
  ☆190Updated 4 years ago
• DaCoolOne / DumbIdeas
  ☆69Updated 2 years ago
• SinaKhalili / Folders.py
  Implementation of the Folders📂 esoteric programming language, a language with no code and just folders.
  ☆446Updated 3 years ago
• stong / ctf_clusters
  visualizing CTF clusters (teams playing together at DEFCON)
  ☆27Updated 2 years ago
• sammyuri / chungus-2-assembler
  Assembler and example programs for the CHUNGUS 2 Minecraft CPU.
  ☆321Updated 3 years ago
• TotalTechGeek / pictoprime
  Generate prime numbers from pictures!
  ☆339Updated 3 years ago
• mahaloz / ctf-wiki-en
  A full English version of the popular ctf-wiki
  ☆99Updated last year
• cryptohack / ctf_archive
  Hosting awesome cryptography CTF challenges from past CTFs
  ☆120Updated 2 months ago