Some challenge solutions solved using z3
☆237Oct 11, 2022Updated 3 years ago
Alternatives and similar repositories for learn-z3
Users that are interested in learn-z3 are comparing it to the libraries listed below
Sorting:
- A repo about CTF challenges that I made at several CTF events☆14Mar 20, 2025Updated 11 months ago
- some kernel pwn practice questions.☆25Nov 25, 2024Updated last year
- A powerful solution for tackling the Elliptic Curve Discrete Logarithm Problem (ECDLP) within the context of secp256k1.☆11Dec 13, 2025Updated 2 months ago
- ☆17May 22, 2021Updated 4 years ago
- 这是一个Ollydbg插件，它提供了非常多友好的功能包括但不限于方便的数据提取，一键trace，跟踪api调用，iat修复等等☆17Sep 13, 2023Updated 2 years ago
- NaviSecCLI for VNX Arrays.☆18Nov 30, 2021Updated 4 years ago
- Symbolic execution for the XorShift128+ algorithm.☆110May 2, 2025Updated 10 months ago
- BinaryNinja plugin to introduce some quality of life utilities for obsessive compulsive CTF enthusiasts☆24Jul 31, 2024Updated last year
- Generate tweets with Titter GPT, an easy to use streamlit app leveraging OpenAI's GPT-3 model and revGPT. Create custom tweet styles, ton…☆24May 16, 2023Updated 2 years ago
- A CAPTCHA for robots only☆19Jan 9, 2025Updated last year
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆140Apr 17, 2023Updated 2 years ago
- Blueborne CVE-2017-1000251 PoC for linux machines☆17Mar 10, 2023Updated 3 years ago
- https://github.com/frida/frida-python with devkit☆29Feb 14, 2026Updated 3 weeks ago
- Security and Hacking Tools, Exploits, Proof of Concepts, Shellcodes, Scripts.☆65Jan 2, 2026Updated 2 months ago
- Challenges I created for CTFs☆25Dec 21, 2025Updated 2 months ago
- Bump your ida python script automatically!☆31Apr 19, 2025Updated 10 months ago
- Coppersmith method (solving polynomial equation over composite modulus on small bounds)☆124Dec 21, 2024Updated last year
- ☆39Jul 25, 2025Updated 7 months ago
- ☆43Dec 25, 2024Updated last year
- Pollard's kangaroo for SECPK1☆34Jun 22, 2024Updated last year
- frida打印java调用栈的详细信息☆40Feb 14, 2025Updated last year
- Human-like mouse movements for browser automation.☆36Dec 26, 2024Updated last year
- Supporting for IDA9.0. Forked from https://bitbucket.org/NtQuery/scyllahide☆38Dec 22, 2024Updated last year
- Cuda Miner for BeamHash (Equihash 150,5)☆13Jan 16, 2019Updated 7 years ago
- Where CTFs happen☆82May 30, 2024Updated last year
- A trpc-ified useReducer hook. ⚡☆16Aug 27, 2022Updated 3 years ago
- A Tamarin model and analysis of EMV☆36Feb 8, 2021Updated 5 years ago
- ☆11May 24, 2020Updated 5 years ago
- avarehelper☆12Aug 15, 2021Updated 4 years ago
- Brute force Bitcoin private keys.☆42Apr 5, 2021Updated 4 years ago
- HTTP proxy with per-request uTLS fingerprint mimicry and upstream proxy tunneling. Currently WIP.☆49Jan 14, 2024Updated 2 years ago
- ☆11Jul 19, 2020Updated 5 years ago
- Newsletter box plugin for wordpress☆10Mar 21, 2016Updated 9 years ago
- A powerful task-manager style & profiling addon for garrysmod☆11Aug 9, 2024Updated last year
- 【python】利用百度语音识别API，百度语音合成API，图灵机器人API实现简单的对话机器人☆10Mar 13, 2021Updated 4 years ago
- 存放投稿里的一些文件☆11Oct 31, 2020Updated 5 years ago
- A Deluge script that lets you download any attachments on submission of a Zoho Creator form.☆12Apr 15, 2021Updated 4 years ago
- An AVX Lifter for the Hex-Rays Decompiler + new instructions☆11Oct 14, 2022Updated 3 years ago
- Tool to start a python http server in a simple way☆10Mar 30, 2022Updated 3 years ago