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☆347Jul 23, 2022Updated 4 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
- Collection of interpreters for esoteric programming languages☆14Jul 10, 2021Updated 5 years ago
- Practical Implementation of the Maurer Reduction☆11Jul 13, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- JSMacros Scripting API for clientcommands☆17Apr 10, 2022Updated 4 years ago
- Mod for Deep Rock Galactic that shows more HUD information in the space rig.☆10Nov 13, 2022Updated 3 years ago
- Discord library written in Typescript leveraging the latest ECMAScript features.☆15Aug 3, 2023Updated 3 years ago
- Platform for LA CTF. Forked from redpwn/rctf.☆11Feb 6, 2026Updated 6 months 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
- Blog about HTTP Request Smuggling, including a demo application.☆31Jan 4, 2022Updated 4 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 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- The Titan programming language.☆12Apr 16, 2024Updated 2 years ago
- bindings for the raylib + raygui library in Factor☆10Dec 31, 2020Updated 5 years ago
- I algorithms and competitive programming. In this repo, I share some of my solved challenges and hacks.☆10Oct 29, 2022Updated 3 years ago
- Coppersmith method (solving polynomial equation over composite modulus on small bounds)☆125Dec 21, 2024Updated last year
- An Impractical Stack Language☆14Jun 12, 2020Updated 6 years ago
- Tool to start a python http server in a simple way☆11Mar 30, 2022Updated 4 years ago
- ☆35Oct 1, 2024Updated last year
- TCP1P CTF 2023 Challenges☆42Oct 18, 2023Updated 2 years ago
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- c minus language implement by rust☆23Oct 26, 2024Updated last year
- I created this to dump challenge for CTF that I participated☆12May 26, 2023Updated 3 years ago
- Challenges I created for CTFs☆25Dec 21, 2025Updated 7 months ago
- Wallpapers with the Nord color scheme.☆12Oct 15, 2021Updated 4 years ago
- Rerousces related to time-travel debugging (TTD)☆51Jul 2, 2026Updated last month
- ☆22Apr 29, 2025Updated last year
- This extension is meticulously crafted to safeguard users from phishing attempts that replicate the Office365 login interface, particular…☆11Nov 27, 2023Updated 2 years ago
- ☆13Jun 21, 2017Updated 9 years ago
- Where CTFs happen☆81May 30, 2024Updated 2 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.
- Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]☆11Jun 22, 2026Updated last month
- CSGO cheat made in Java using JavaFX as the overlay and JNA for memory manipulation☆11Aug 23, 2021Updated 4 years ago
- eject_idb is a last ditch effort to flush and save your IDB when IDA hangs or a plugin causes an exception, etc.☆42Jun 8, 2026Updated 2 months ago
- Documentation files☆16Apr 14, 2026Updated 3 months ago
- IDA Taskr is a pure Python library for IDA Pro related parallel computing. It lets you use the power of Qt (built-in to IDA!) and Python'…☆31Jul 19, 2026Updated 3 weeks ago
- ☆11May 24, 2020Updated 6 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Feb 2, 2014Updated 12 years ago