Some challenge solutions solved using z3
☆235Oct 11, 2022Updated 4 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☆348Jul 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
- 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
- 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.
- Demo showing Claude Opus does not find CVE-2023-0266☆16Mar 19, 2024Updated 2 years ago
- The setup being used for mobile exploitation in the TCP1P CTF 2023☆13Nov 17, 2023Updated 2 years ago
- Dual connection screen to display via Termux x11 on VNC ✧◝(⁰▿⁰)◜✧☆12Mar 4, 2025Updated last year
- Config files for my GitHub profile.☆13Aug 13, 2025Updated last year
- Blog about HTTP Request Smuggling, including a demo application.☆31Jan 4, 2022Updated 4 years ago
- The Titan programming language.☆14Apr 16, 2024Updated 2 years ago
- Set of modifications for Deno to add subprocess sandboxing☆14May 25, 2023Updated 3 years ago
- C/C++ Based SDR Library with dsp blocks☆16Aug 15, 2024Updated 2 years ago
- Coppersmith method (solving polynomial equation over composite modulus on small bounds)☆123Dec 21, 2024Updated last year
- 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.
- TCP1P CTF 2023 Challenges☆43Sep 24, 2026Updated 3 weeks ago
- Symbolic execution for the XorShift128+ algorithm.☆109May 2, 2025Updated last year
- A language built atop the Sparse Synchronous Model☆19Dec 23, 2023Updated 2 years ago
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- c minus language implement by rust☆23Oct 26, 2024Updated last year
- Simple scraper for automating challenges gathering from a CTFd platform☆49Jun 15, 2020Updated 6 years ago
- I created this to dump challenge for CTF that I participated☆12May 26, 2023Updated 3 years ago
- Analysis of "flash loan attack" from YouTuber https://www.youtube.com/watch?v=HynfsKoFlaw&t=105s☆11Jul 5, 2021Updated 5 years ago
- Automatically exported from code.google.com/p/forplay☆13Mar 27, 2015Updated 11 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Rerousces related to time-travel debugging (TTD)☆56Jul 2, 2026Updated 3 months ago
- BIG integer library for GameMaker 2022 LTS☆11Jun 16, 2024Updated 2 years ago
- A serverless express GPT chat endpoint using AWS lambda deployed with AWS CDK☆13Oct 24, 2023Updated 2 years ago
- Challenges I created for CTFs☆25Dec 21, 2025Updated 9 months ago
- a new evolutionary highlevel and readable tape language (unlike brainf)☆19Dec 29, 2022Updated 3 years ago
- c++ disassembly library☆15May 22, 2017Updated 9 years ago
- A Discord bot to delete duplicate messages from mobile users with poor internet connections.☆11May 4, 2020Updated 6 years 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'…☆32Jul 19, 2026Updated 2 months ago
- A plugin for static Thumb2 symbol recovery in Ghidra.☆11Dec 20, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 🏴 🏴 🏴☆110Aug 28, 2025Updated last year
- This plugin is the container for most of our shared buildscript logic for all GTNH mods and some other 1.7.10 mods. The original buildscr…☆12Sep 29, 2026Updated 2 weeks ago
- Prediction algorithms for the PCG pseudo-random generator☆15Nov 13, 2020Updated 5 years ago
- Canonical miniKanren implementation in Racket☆18Nov 17, 2016Updated 9 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 last year
- Windows Heap Loggin'☆11Aug 12, 2020Updated 6 years ago
- Bump your ida python script automatically!☆32Apr 19, 2025Updated last year