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☆343Jul 23, 2022Updated 3 years ago
- A repo about CTF challenges that I made at several CTF events☆14Mar 20, 2025Updated last year
- ☆17May 22, 2021Updated 4 years ago
- 🎲 Bundle of collaborative, open source online games.☆10Jun 6, 2022Updated 3 years ago
- The Z3 Theorem Prover☆12,136Apr 12, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- x86_64 disassembler library written in Zig☆45Jul 21, 2025Updated 8 months ago
- Get latest Exploit Databases notification on your Desktop☆16Jan 29, 2020Updated 6 years ago
- 这是一个Ollydbg插件，它提供了非常多友好的功能包括但不限于方便的数据提取，一键trace，跟踪api调用，iat修复等等☆17Sep 13, 2023Updated 2 years ago
- New exploitation tricks for hardened .NET Remoting servers☆32Aug 5, 2025Updated 8 months ago
- BinaryNinja plugin to introduce some quality of life utilities for obsessive compulsive CTF enthusiasts☆24Jul 31, 2024Updated last year
- The Titan programming language.☆12Apr 16, 2024Updated 2 years ago
- bindings for the raylib + raygui library in Factor☆10Dec 31, 2020Updated 5 years ago
- Platform for LA CTF. Forked from redpwn/rctf.☆11Feb 6, 2026Updated 2 months ago
- Coppersmith method (solving polynomial equation over composite modulus on small bounds)☆124Dec 21, 2024Updated last year
- 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.
- Tool to start a python http server in a simple way☆10Mar 30, 2022Updated 4 years ago
- TCP1P CTF 2023 Challenges☆42Oct 18, 2023Updated 2 years ago
- ☆50Dec 4, 2023Updated 2 years ago
- Challenges I created for CTFs☆25Dec 21, 2025Updated 3 months ago
- Simple scraper for automating challenges gathering from a CTFd platform☆50Jun 15, 2020Updated 5 years ago
- I created this to dump challenge for CTF that I participated☆12May 26, 2023Updated 2 years ago
- A modern take on an interpreted scripting language☆11May 8, 2025Updated 11 months ago
- Finite state and Constraint Grammar based analysers and proofing tools, and language resources for the Kalaallisut (Greenlandic) language☆14Updated this week
- ☆13Jun 21, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆139Apr 17, 2023Updated 3 years ago
- Where CTFs happen☆82May 30, 2024Updated last year
- Bump your ida python script automatically!☆31Apr 19, 2025Updated last year
- ☆11May 24, 2020Updated 5 years ago
- A Neovim plugin that inserts a shebang line when editing a new file.☆18Jan 7, 2021Updated 5 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- A Discord bot to delete duplicate messages from mobile users with poor internet connections.☆11May 4, 2020Updated 5 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Feb 2, 2014Updated 12 years ago
- Implementation of known practical attack on some AES variant☆16Apr 3, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 🏴 🏴 🏴☆106Aug 28, 2025Updated 7 months ago
- Native Powers Talk demos☆16Jan 30, 2026Updated 2 months ago
- jpg Acropalypse POC☆30Mar 18, 2023Updated 3 years ago
- Prediction algorithms for the PCG pseudo-random generator☆15Nov 13, 2020Updated 5 years ago
- emojer☆22Mar 10, 2023Updated 3 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 6 months ago
- Stack language compiled to lua☆24Feb 3, 2025Updated last year