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 8 years ago
- Basic Windows 32-bit debugger with special functions like directory monitoring and DLL injection☆14Mar 7, 2019Updated 7 years ago
- A simple sql parser with context-free grammer, predictive parser and lexer with DFA☆12Oct 29, 2015Updated 10 years ago
- The Python interface for YARA http://virustotal.github.io/yara/☆20Jul 13, 2017Updated 8 years ago
- Exploits solution for CrackLatinos challenges☆17Sep 29, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Bypassing Benefit's jailbreak detection☆12Jan 15, 2024Updated 2 years ago
- a Path manipulation library☆34Jan 16, 2026Updated 2 months ago
- Hacking Charles Web Debugging Proxy, Working 4.2.7 Version☆13Jan 2, 2019Updated 7 years ago
- ☆11Sep 3, 2023Updated 2 years ago
- Docker PoC for CVE-2022-22965 with Spring Boot version 2.6.5☆16Apr 3, 2022Updated 3 years ago
- A XPath injection demonstration application☆21Nov 14, 2020Updated 5 years ago
- DO NOT USE: this is a vulnerable ASP.NET web app using Razor templating engine. The vulnerability is a Server-Side Template Injection (SS…☆28Aug 22, 2020Updated 5 years ago
- Collection of my IDAPython scripts☆33Sep 17, 2015Updated 10 years ago
- Driver for the USBD peripheral in nRF microcontrollers☆24Nov 28, 2025Updated 4 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Enable RW access to "read-only" partitions (e.g: vs0, os0). Don't use it.☆50Jun 3, 2018Updated 7 years ago
- A devRant bot that posts random quotes every day!☆12Sep 19, 2023Updated 2 years ago
- Crackmes Keygenmes Serialmes y más☆43Sep 11, 2022Updated 3 years ago
- A tool for generating autotested documentation☆27Aug 19, 2025Updated 7 months ago
- SMT solver for the theory of floating-point arithmetic☆25Jan 30, 2018Updated 8 years ago
- A tool that helps you get system shell without UAC prompt☆50Oct 8, 2018Updated 7 years ago
- 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☆27Nov 4, 2022Updated 3 years ago
- A utility for fetching minimal macOS libc headers☆53Dec 28, 2024Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- A 2D puzzle platformer made with the Amethyst game engine.☆25Aug 19, 2022Updated 3 years ago
- Python Hash Cracker.☆45Oct 17, 2021Updated 4 years ago
- Peripheral Access Crates (PACs) for nRF microcontrollers☆36Jul 13, 2024Updated last year
- A Frida script to bypass Xamarin certificate pinning implementations☆75Jan 6, 2023Updated 3 years ago
- USB storage as Vita memory card☆128Dec 30, 2019Updated 6 years ago
- ☆73Mar 16, 2025Updated last year
- ☆89May 9, 2019Updated 6 years ago
- Minimal string compression☆52Nov 5, 2025Updated 4 months ago
- A Zig command-line input library!☆50Sep 17, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Armadillo Key Tool☆88May 26, 2019Updated 6 years ago
- 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.☆39Oct 7, 2018Updated 7 years ago
- build qemu-static binaries using Alpine Linux docker☆49Nov 7, 2025Updated 4 months ago
- Set of my small utils related to cryptography, encoding, decoding etc☆95Sep 1, 2025Updated 6 months ago
- Plugins for the lite text editor☆381May 11, 2024Updated last year
- Dockerfile for zig programming language☆52Oct 26, 2022Updated 3 years ago