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
  ☆296Updated 2 years ago
• LiveOverflow / security-research
  Security Research
  ☆39Updated 2 years ago
• ky28059 / bctf
  The updated website for b01lers CTF!
  ☆12Updated 3 weeks ago
• kammt / MemeAssembly
  A Meme-based programming language
  ☆69Updated 3 months ago
• hofill / AES-CTF-Tool
  ☆44Updated last year
• deut-erium / RNGeesus
  SMT based attacks on non cryptographic PRNGs
  ☆81Updated 2 years ago
• d0nutptr / v8_rand_buster
  ☆71Updated 5 years 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
  ☆80Updated 4 years ago
• stong / ctf_clusters
  visualizing CTF clusters (teams playing together at DEFCON)
  ☆27Updated last year
• tsoding / c.php
  C to Python compiler in PHP
  ☆295Updated 2 years ago
• PwnFunction / CVE-2021-4034
  Proof of concept for pwnkit vulnerability
  ☆344Updated 2 years ago
• sigpwny / ctfd2pages
  A tool to easily archive CTFd sites to GitHub Pages
  ☆32Updated 2 months ago
• cryptohack / ctf_archive
  Hosting awesome cryptography CTF challenges from past CTFs
  ☆115Updated 4 months ago
• LiveOverflow / ctf-screenshotter
  a CTF web challenge about making screenshots
  ☆225Updated 3 years ago
• SinaKhalili / Folders.py
  Implementation of the Folders📂 esoteric programming language, a language with no code and just folders.
  ☆444Updated 3 years ago
• elikaski / BF-it
  A C-like language to Brainfuck compiler, written in Python
  ☆126Updated 5 months ago
• LiveOverflow / webp-CVE-2023-4863
  ☆48Updated last year
• pepsipu / aski
  Assembly needs a modern makeover! Aski is a compiled programming language allowing programming as low abstraction as Assembly but a synta…
  ☆24Updated 4 years ago
• ECSC2024 / ECSC2024-CTF-Jeopardy
  Jeopardy challenges for #ECSC2024 held in Turin, Italy from 8th to 11th October 2024
  ☆36Updated 6 months ago
• redpwn / jail
  An nsjail Docker image for CTF pwnables. Easily create secure, isolated xinetd/inetd-style services.
  ☆205Updated 10 months ago
• SheafificationOfG / Fibsonicci
  Source code for a video on computing Fibonacci numbers efficiently
  ☆115Updated 5 months ago
• LaurieWired / BinderIPC
  Supporting code and apps for demonstrating Android interprocess communication
  ☆40Updated 9 months ago
• DownUnderCTF / Challenges_2021_Public
  Writeups for the challenges from DownUnderCTF 2021
  ☆175Updated 2 years ago
• LiveOverflow / pwnedit
  CVE-2021-3156 - Sudo Baron Samedit
  ☆221Updated 3 years ago
• nneonneo / ghidra-rickroll
  Get rickrolled, right in your favourite NSA reverse engineering tool
  ☆77Updated 2 years ago
• salvatore-abello / python-ctf-cheatsheet
  Cheatsheet useful for solving Python-related challenges during CTFs.
  ☆73Updated last week
• tna0y / Python-random-module-cracker
  Predict python's random module generated values.
  ☆406Updated 5 months ago
• OpenAttackDefenseTools / ataka
  Runs exploits, fast.
  ☆82Updated 9 months ago
• b01lers / welcome-to-ctf
  A small repo to host b01lers' outline of what CTF is and how to get into it.
  ☆34Updated 4 years ago
• pwncollege / linux-luminarium
  ☆30Updated last week