Some challenge solutions solved using z3
☆236Oct 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Using z3 to predict `Math.random` in v8☆344Jul 23, 2022Updated 3 years ago
- A repo about CTF challenges that I made at several CTF events☆14Mar 20, 2025Updated last year
- ☆11Apr 27, 2021Updated 5 years ago
- ☆17May 22, 2021Updated 5 years ago
- Mod for Deep Rock Galactic that shows more HUD information in the space rig.☆10Nov 13, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 🎲 Bundle of collaborative, open source online games.☆10Jun 6, 2022Updated 4 years ago
- x86_64 disassembler library written in Zig☆45Jul 21, 2025Updated 10 months ago
- The Z3 Theorem Prover☆12,353Updated this week
- Discord library written in Typescript leveraging the latest ECMAScript features.☆15Aug 3, 2023Updated 2 years ago
- The setup being used for mobile exploitation in the TCP1P CTF 2023☆13Nov 17, 2023Updated 2 years ago
- ☆21Feb 20, 2014Updated 12 years ago
- 这是一个Ollydbg插件，它提供了非常多友好的功能包括但不限于方便的数据提取，一键trace，跟踪api调用，iat修复等等☆17Sep 13, 2023Updated 2 years ago
- BinaryNinja plugin to introduce some quality of life utilities for obsessive compulsive CTF enthusiasts☆25Jul 31, 2024Updated last year
- Platform for LA CTF. Forked from redpwn/rctf.☆11Feb 6, 2026Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- I algorithms and competitive programming. In this repo, I share some of my solved challenges and hacks.☆10Oct 29, 2022Updated 3 years ago
- TCP1P CTF 2023 Challenges☆42Oct 18, 2023Updated 2 years ago
- Zig Vala - Toolchain & Build System Integration☆15Jan 28, 2022Updated 4 years ago
- Challenges I created for CTFs☆25Dec 21, 2025Updated 5 months ago
- Simple scraper for automating challenges gathering from a CTFd platform☆50Jun 15, 2020Updated 6 years ago
- I created this to dump challenge for CTF that I participated☆12May 26, 2023Updated 3 years ago
- A lightweight multi-platform framework for accessing battery info☆12Aug 11, 2024Updated last year
- Where CTFs happen☆81May 30, 2024Updated 2 years ago
- ☆22Apr 29, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Bump your ida python script automatically!☆31Apr 19, 2025Updated last year
- source for archive track reader☆12Dec 8, 2022Updated 3 years ago
- Extension to log postMessage()☆15Feb 17, 2026Updated 4 months ago
- https://github.com/frida/frida-python with devkit☆30Feb 14, 2026Updated 4 months ago
- Discover the China's map deviation algorithm☆12Jun 30, 2025Updated 11 months ago
- A Discord bot to delete duplicate messages from mobile users with poor internet connections.☆11May 4, 2020Updated 6 years ago
- Implementation of known practical attack on some AES variant☆17Apr 3, 2024Updated 2 years ago
- Native Powers Talk demos☆18Jan 30, 2026Updated 4 months ago
- Secbox is a toolbox that provides an out-of-the-box working setup for your daily work in the SUSE Security Team.☆17Apr 21, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Implementation of generative semantic grammar.☆17Jun 2, 2022Updated 4 years ago
- This repository contains the mobile Proof of Concept (POC) tester for CTF challenges. The POC tester is a web application that allows use…☆20Oct 3, 2025Updated 8 months ago
- stream abstraction designed for use with nom☆14Jul 25, 2023Updated 2 years ago
- minimal hypervisor for aarch64 (WIP)☆31Nov 29, 2025Updated 6 months ago
- round minecraft☆17Jul 20, 2022Updated 3 years ago
- A C++ REPL for IDA Pro / IDA C++ SDK☆94Mar 26, 2026Updated 2 months ago
- python to tax form compiler☆13Jun 6, 2022Updated 4 years ago