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☆345Jul 23, 2022Updated 3 years ago
- A repo about CTF challenges that I made at several CTF events☆14Mar 20, 2025Updated last year
- Collection of interpreters for esoteric programming languages☆14Jul 10, 2021Updated 4 years ago
- Practical Implementation of the Maurer Reduction☆11Jul 13, 2023Updated 2 years ago
- Mod for Deep Rock Galactic that shows more HUD information in the space rig.☆10Nov 13, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Node.JS Spotify OBS Widget☆11Sep 28, 2019Updated 6 years ago
- The design, layout and firmware for the purring kitten smd assembly workshop☆15Aug 27, 2022Updated 3 years ago
- The Z3 Theorem Prover☆12,431Updated this week
- The setup being used for mobile exploitation in the TCP1P CTF 2023☆13Nov 17, 2023Updated 2 years ago
- ☆21Feb 20, 2014Updated 12 years ago
- New exploitation tricks for hardened .NET Remoting servers☆32Aug 5, 2025Updated 11 months ago
- BinaryNinja plugin to introduce some quality of life utilities for obsessive compulsive CTF enthusiasts☆25Jul 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
- 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.
- Active Windows 10/11 gratuitement en utilisant un serveur KMS.☆19Jul 28, 2022Updated 3 years ago
- Platform for LA CTF. Forked from redpwn/rctf.☆11Feb 6, 2026Updated 5 months ago
- Coppersmith method (solving polynomial equation over composite modulus on small bounds)☆127Dec 21, 2024Updated last year
- I algorithms and competitive programming. In this repo, I share some of my solved challenges and hacks.☆10Oct 29, 2022Updated 3 years ago
- An Impractical Stack Language☆14Jun 12, 2020Updated 6 years ago
- Wallpapers with the Nord color scheme.☆12Oct 15, 2021Updated 4 years ago
- Zig Vala - Toolchain & Build System Integration☆15Jan 28, 2022Updated 4 years ago
- An Esoteric Programming Language based on Reverse Polish Notation☆12Feb 16, 2017Updated 9 years ago
- Challenges I created for CTFs☆25Dec 21, 2025Updated 6 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Documentation files☆16Apr 14, 2026Updated 2 months ago
- I created this to dump challenge for CTF that I participated☆12May 26, 2023Updated 3 years ago
- Finite state and Constraint Grammar based analysers and proofing tools, and language resources for the Kalaallisut language☆15Updated this week
- ☆10Mar 24, 2022Updated 4 years ago
- ☆34Oct 22, 2025Updated 8 months ago
- Where CTFs happen☆81May 30, 2024Updated 2 years ago
- A starboard Discord bot☆11Jan 16, 2024Updated 2 years ago
- c++ disassembly library☆15May 22, 2017Updated 9 years ago
- source for archive track reader☆13Dec 8, 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.
- Extension to log postMessage()☆16Feb 17, 2026Updated 4 months ago
- ☆11May 24, 2020Updated 6 years ago
- A serverless express GPT chat endpoint using AWS lambda deployed with AWS CDK☆13Oct 24, 2023Updated 2 years ago
- a new evolutionary highlevel and readable tape language (unlike brainf)☆19Dec 29, 2022Updated 3 years ago
- A Discord bot to delete duplicate messages from mobile users with poor internet connections.☆11May 4, 2020Updated 6 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Feb 2, 2014Updated 12 years ago
- Dreg's setup for lldb reversing. The simplest and easiest possible, without scripting. lldb debugging setup.☆15May 2, 2024Updated 2 years ago