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
  ☆278Updated 2 years ago
• LiveOverflow / security-research
  Security Research
  ☆40Updated 2 years ago
• LiveOverflow / pwnedit
  CVE-2021-3156 - Sudo Baron Samedit
  ☆221Updated 3 years ago
• Et3rnos / ImaginaryCTF
  ImaginaryCTF is a platform that brings the beauty of CTF Competitions to discord, releasing a challenge every day
  ☆43Updated 8 months ago
• PwnFunction / Next.js-Flat-Prototype-Pollution
  Prototype Pollution using `flat` with Next.js
  ☆103Updated last week
• tsoding / c.php
  C to Python compiler in PHP
  ☆294Updated last year
• sigpwny / ctfd2pages
  A tool to easily archive CTFd sites to GitHub Pages
  ☆32Updated last month
• enjeck / num2math
  Complicated math expression generator
  ☆99Updated 9 months ago
• PwnFunction / rizz-python
  A python transpiler for rizzlers.
  ☆57Updated last month
• hofill / AES-CTF-Tool
  ☆43Updated last year
• kammt / MemeAssembly
  A Meme-based programming language
  ☆69Updated last month
• LiveOverflow / log4shell
  Small example repo for looking into log4j CVE-2021-44228
  ☆70Updated 3 years ago
• stong / ctf_clusters
  visualizing CTF clusters (teams playing together at DEFCON)
  ☆27Updated last year
• redpwn / jail
  An nsjail Docker image for CTF pwnables. Easily create secure, isolated xinetd/inetd-style services.
  ☆193Updated 8 months ago
• ECSC2024 / ECSC2024-CTF-Jeopardy
  Jeopardy challenges for #ECSC2024 held in Turin, Italy from 8th to 11th October 2024
  ☆34Updated 5 months ago
• pepsipu / aski
  Assembly needs a modern makeover! Aski is a compiled programming language allowing programming as low abstraction as Assembly but a synta…
  ☆23Updated 4 years ago
• LaurieWired / BinderIPC
  Supporting code and apps for demonstrating Android interprocess communication
  ☆40Updated 7 months ago
• stew675 / standup5x5
  Solutions to Stand Up Maths 5x5 Unique 25 letter problem
  ☆122Updated 2 years ago
• elikaski / BF-it
  A C-like language to Brainfuck compiler, written in Python
  ☆124Updated 4 months ago
• mahaloz / ike
  'Ike: A binary exploitation and reversing handbook.
  ☆74Updated 2 months ago
• mahaloz / ctf-wiki-en
  A full English version of the popular ctf-wiki
  ☆90Updated 8 months ago
• DownUnderCTF / Challenges_2023_Public
  Files + Writeups for DownUnderCTF 2023 Challenges
  ☆170Updated last year
• LiveOverflow / yt_statistics
  Data pulled from YouTube Security Creators
  ☆16Updated 2 years ago
• RischardV / emoji-shellcoding
  🤩 Emoji shellcoding tools for RISC-V (32-bit and 64-bit)
  ☆174Updated last year
• DaCoolOne / DumbIdeas
  ☆67Updated last year
• tsoding / articles
  Here I keep some thoughts that I always wanted to write down somewhere, but never knew where.
  ☆80Updated 9 months ago
• Hedroed / png-parser
  Analyse PNG file format for CTF, python API and CLI
  ☆98Updated last year
• d0nutptr / v8_rand_buster
  ☆66Updated 4 years ago
• NUSGreyhats / greyctf23-challs-public
  ☆36Updated last year
• tsoding / Noq
  Simple expression transformer that is not Coq.
  ☆256Updated last year