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
  ☆311Updated 3 years ago
• LiveOverflow / security-research
  Security Research
  ☆39Updated 3 years ago
• LiveOverflow / minecraft-hacked
  Minecraft:Hacked is a video series exploring various technical areas of Minecraft.
  ☆218Updated 2 years ago
• redpwn / rctf
  redpwn's CTF platform
  ☆276Updated 6 months ago
• sigpwny / ctfd2pages
  A tool to easily archive CTFd sites to GitHub Pages
  ☆35Updated 5 months ago
• tna0y / Python-random-module-cracker
  Predict python's random module generated values.
  ☆419Updated 8 months ago
• 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
  ☆91Updated 4 years ago
• LiveOverflow / pwnedit
  CVE-2021-3156 - Sudo Baron Samedit
  ☆220Updated 3 years ago
• SinaKhalili / Folders.py
  Implementation of the Folders📂 esoteric programming language, a language with no code and just folders.
  ☆445Updated 3 years ago
• hofill / AES-CTF-Tool
  ☆45Updated 2 years ago
• ECSC2024 / ECSC2024-CTF-Jeopardy
  Jeopardy challenges for #ECSC2024 held in Turin, Italy from 8th to 11th October 2024
  ☆39Updated 9 months ago
• redpwn / jail
  An nsjail Docker image for CTF pwnables. Easily create secure, isolated xinetd/inetd-style services.
  ☆219Updated last year
• stong / ctf_clusters
  visualizing CTF clusters (teams playing together at DEFCON)
  ☆27Updated 2 years ago
• ky28059 / bctf
  The updated website for b01lers CTF!
  ☆12Updated 2 months ago
• TJCSec / klodd
  CTF challenge per-team instance runner
  ☆34Updated 7 months ago
• uclaacm / lactf-archive
  An archive of past challenges from LA CTF hosted by ACM Cyber at UCLA and Psi Beta Rho.
  ☆138Updated 5 months ago
• rerrorctf / ret
  the rounding error tool 🚩
  ☆14Updated 2 months ago
• Hedroed / png-parser
  Analyse PNG file format for CTF, python API and CLI
  ☆102Updated 2 years ago
• fr3fou / discord-mutual-friends
  visualising discord mutual friends in 3d space
  ☆165Updated last year
• deut-erium / RNGeesus
  SMT based attacks on non cryptographic PRNGs
  ☆83Updated 2 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
• jonmest / How-To-Tamper-With-Any-Electron-Application
  This work-in-progress outlines known vulnerabilities in the Electron framework, and how they may be abused to create dangerous exploits.
  ☆88Updated last year
• cryptohack / ctf_archive
  Hosting awesome cryptography CTF challenges from past CTFs
  ☆119Updated last month
• PwnFunction / Blank-Rick-Roll
  Rick Roll website that has hidden code.
  ☆410Updated 3 years ago
• tsoding / c.php
  C to Python compiler in PHP
  ☆295Updated 2 years ago
• DownUnderCTF / Challenges_2023_Public
  Files + Writeups for DownUnderCTF 2023 Challenges
  ☆171Updated last year
• DaCoolOne / DumbIdeas
  ☆68Updated last year
• jailctf / pyjailbreaker
  Python sandbox escape wiki + payload generator
  ☆91Updated 10 months ago
• sammyuri / chungus-2-assembler
  Assembler and example programs for the CHUNGUS 2 Minecraft CPU.
  ☆320Updated 3 years ago
• stong / ml-to-ml
  Chrome extension that replaces occurrences of 'machine learning' with 'money la*ndering'
  ☆14Updated 6 months ago