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☆348Jul 23, 2022Updated 4 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 5 years ago
- ☆17May 22, 2021Updated 5 years ago
- Node.JS Spotify OBS Widget☆11Sep 28, 2019Updated 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.
- ☆18Nov 19, 2020Updated 5 years ago
- The design, layout and firmware for the purring kitten smd assembly workshop☆15Aug 27, 2022Updated 4 years ago
- work in progress, playing around with btor2 in rust☆16Updated this week
- The setup being used for mobile exploitation in the TCP1P CTF 2023☆13Nov 17, 2023Updated 2 years ago
- ☆22Feb 20, 2014Updated 12 years ago
- 这是一个Ollydbg插件，它提供了非常多友好的功能包括但不限于方便的数据提取，一键trace，跟踪api调用，iat修复等等☆18Sep 13, 2023Updated 3 years ago
- An Impractical Stack Language☆14Jun 12, 2020Updated 6 years ago
- A fork of Yosys that integrates the CellIFT pass☆14Sep 12, 2026Updated 2 weeks ago
- C/C++ Based SDR Library with dsp blocks☆16Aug 15, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- TCP1P CTF 2023 Challenges☆42Updated this week
- Symbolic execution for the XorShift128+ algorithm.☆109May 2, 2025Updated last year
- Solver for "Bulls and cows" inspired by Akinator Bayesian entropy something something☆14Dec 6, 2025Updated 9 months ago
- Foundry-like interface for interacting with the Ethereum application in python with extra features for solving CTF Challenges using the w…☆43Jul 31, 2025Updated last year
- Simple scraper for automating challenges gathering from a CTFd platform☆49Jun 15, 2020Updated 6 years ago
- ☆22Apr 29, 2025Updated last year
- Git mirror of Victor Shoup's NTL library☆14Mar 8, 2016Updated 10 years ago
- Rerousces related to time-travel debugging (TTD)☆56Jul 2, 2026Updated 2 months ago
- A starboard Discord bot☆11Jan 16, 2024Updated 2 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.
- Where CTFs happen☆82May 30, 2024Updated 2 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.☆42Aug 18, 2026Updated last month
- 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 hardware model checker for hyperproperties☆18Jun 14, 2024Updated 2 years ago
- A mod for Parkitect. Ride your favorite coasters and attractions with this cam!☆13Sep 8, 2017Updated 9 years ago
- c++ disassembly library☆15May 22, 2017Updated 9 years ago
- Prediction algorithms for the PCG pseudo-random generator☆15Nov 13, 2020Updated 5 years ago
- Discover the China's map deviation algorithm☆12Jun 30, 2025Updated last year
- A Discord bot to delete duplicate messages from mobile users with poor internet connections.☆11May 4, 2020Updated 6 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.
- 🏴 🏴 🏴☆109Aug 28, 2025Updated last year
- Bump your ida python script automatically!☆32Apr 19, 2025Updated last year
- A library to allow multiple applications to share a single SQLite database☆12Oct 16, 2019Updated 6 years ago
- A mod loader for Google's 2021 Doodle Champion Island Games.☆12Mar 28, 2024Updated 2 years ago
- emojer☆23Mar 10, 2023Updated 3 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 11 months ago