Solutions for Paul Halmos' Naive Set Theory
☆18Oct 16, 2022Updated 3 years ago
Alternatives and similar repositories for set-theory-solutions-manual
Users that are interested in set-theory-solutions-manual are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Plugin for x64dbg☆13Apr 29, 2017Updated 9 years ago
- a litte 3d renderer for the SNES written in 65816 assembly☆20Oct 31, 2010Updated 15 years ago
- The Python interface for YARA http://virustotal.github.io/yara/☆20Jul 13, 2017Updated 9 years ago
- Solution for Ricardo Narvaja's C++ Exploiting Exercise☆12Jul 21, 2019Updated 7 years ago
- some bare tooling for interacting with Blazor Server☆14Aug 5, 2022Updated 4 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.
- A collection of four algotihms implemented in C++ and compared to find the longest common subsequence in strings with binary digits and o…☆12Jan 1, 2021Updated 5 years ago
- an altered config file from Borderlands 2 for the vita for more fluid FPS☆28May 22, 2020Updated 6 years ago
- A python-based padding oracle tool☆21Mar 31, 2026Updated 5 months ago
- Removes diacritics from strings containing Latin-1 Supplement, Latin Extended-A, Latin Extended-B and Latin Extended Additional special c…☆12Jul 22, 2021Updated 5 years ago
- Hacking Charles Web Debugging Proxy, Working 4.2.7 Version☆13Jan 2, 2019Updated 7 years ago
- ☆15Oct 1, 2018Updated 7 years ago
- Docker PoC for CVE-2022-22965 with Spring Boot version 2.6.5☆16Apr 3, 2022Updated 4 years ago
- Collection of my IDAPython scripts☆33Sep 17, 2015Updated 11 years ago
- Open Source 64 bit disassembler for Windows☆22Sep 29, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Driver for the USBD peripheral in nRF microcontrollers☆23Nov 28, 2025Updated 9 months ago
- byte lite - A C++17-like byte type for C++98, C++11 and later in a single-file header-only library☆61Nov 28, 2025Updated 9 months ago
- Game Categories Lite for PSP☆80Aug 25, 2022Updated 4 years ago
- A tool for generating autotested documentation☆27Aug 19, 2025Updated last year
- DEPRECATED: Extra libraries to help working with gfx-hal☆20Oct 25, 2020Updated 5 years ago
- Exploring replacing Zig's stage1 compiler with pure C code that outputs pure C code☆26Nov 4, 2022Updated 3 years ago
- Tools for static and dynamic analysis of ActionScript3 SWF files.☆48Oct 5, 2018Updated 7 years ago
- A collaborative minigame ROM for the N64brew Game Jam 2024☆72Dec 29, 2025Updated 8 months ago
- A utility for fetching minimal macOS libc headers☆53Dec 28, 2024Updated last year
- 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 set of functions to increase productivity while hacking with Bash☆212Mar 30, 2026Updated 5 months ago
- [F]aster [U]niversal [U]npacker☆64Jul 27, 2013Updated 13 years ago
- Humane API for storing and accessing persistent data in IDA Pro databases☆84Jul 1, 2020Updated 6 years ago
- Deductive verification infrastructure for probabilistic programs☆30Updated this week
- A Frida script to bypass Xamarin certificate pinning implementations☆77Jan 6, 2023Updated 3 years ago
- Small tool to load shellcodes or PEs to analyze them☆84May 16, 2018Updated 8 years ago
- A Zig command-line input library!☆50Sep 17, 2023Updated 3 years ago
- USB storage as Vita memory card☆128Dec 30, 2019Updated 6 years ago
- Browser-based iOS IPA security analyzer.☆88May 30, 2026Updated 3 months 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.
- Resources of the "Dissecting mobile native code packers. A case study." Zimperium's blogpost.☆91Feb 6, 2018Updated 8 years ago
- A SAT solver written in Haskell.☆38Oct 7, 2018Updated 7 years ago
- ☆137Nov 23, 2022Updated 3 years ago
- reverse engineering extension plugin for windbg☆123Sep 30, 2019Updated 6 years ago
- Dockerfile for zig programming language☆53Oct 26, 2022Updated 3 years ago
- Plugins for the lite text editor☆388May 11, 2024Updated 2 years ago
- Modular command-line tool to parse, create and manipulate JWT tokens for hackers☆105Mar 17, 2023Updated 3 years ago