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:
- ☆21Nov 16, 2022Updated 3 years ago
- Plugin for x64dbg☆13Apr 29, 2017Updated 9 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
- 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.
- Decompile an x86 exe, and read PE infos.☆19Sep 29, 2018Updated 7 years ago
- 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
- A python-based padding oracle tool☆20Mar 31, 2026Updated last month
- personal blog☆12May 3, 2026Updated last week
- Hacking Charles Web Debugging Proxy, Working 4.2.7 Version☆13Jan 2, 2019Updated 7 years ago
- ☆11Sep 3, 2023Updated 2 years ago
- A 3d printed structure to contain broad spectrum sub-ghz meshtastic VLBI elements☆30Jan 21, 2026Updated 3 months ago
- A XPath injection demonstration application☆22Nov 14, 2020Updated 5 years ago
- Collection of my IDAPython scripts☆33Sep 17, 2015Updated 10 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.
- ROP database plugin for IDA☆32Jun 5, 2018Updated 7 years ago
- Four examples solving a subset sum (knapsack-like) problem☆30Mar 15, 2011Updated 15 years ago
- Driver for the USBD peripheral in nRF microcontrollers☆24Nov 28, 2025Updated 5 months ago
- ☆48Jan 10, 2022Updated 4 years ago
- A collaborative minigame ROM for the N64brew Game Jam 2024☆67Dec 29, 2025Updated 4 months ago
- DEPRECATED: Extra libraries to help working with gfx-hal☆20Oct 25, 2020Updated 5 years ago
- Tools for static and dynamic analysis of ActionScript3 SWF files.☆46Oct 5, 2018Updated 7 years ago
- SMT solver for the theory of floating-point arithmetic☆27Jan 30, 2018Updated 8 years ago
- A 2D puzzle platformer made with the Amethyst game engine.☆25Aug 19, 2022Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A set of functions to increase productivity while hacking with Bash☆209Mar 30, 2026Updated last month
- Humane API for storing and accessing persistent data in IDA Pro databases☆84Jul 1, 2020Updated 5 years ago
- Peripheral Access Crates (PACs) for nRF microcontrollers☆36Jul 13, 2024Updated last year
- Generic scripts for public consumption☆83Jul 16, 2019Updated 6 years ago
- ☆89May 9, 2019Updated 7 years ago
- DFHack scripts☆79Apr 14, 2026Updated 3 weeks ago
- ☆30May 19, 2025Updated 11 months ago
- ANBU (Automatic New Binary Unpacker) a tool for me to learn about PIN and about algorithms for generic unpacking.☆92May 23, 2019Updated 6 years ago
- A fork of x265. A modded version. WARNING: No new x265 releases will be adopted. All future changes (if any) will be based on 3.4/3.5 bra…☆173Jul 21, 2025Updated 9 months ago
- 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.
- 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
- TCP and TLS performance testing tool.☆52Jan 20, 2026Updated 3 months ago
- reverse engineering extension plugin for windbg☆122Sep 30, 2019Updated 6 years ago
- Modular command-line tool to parse, create and manipulate JWT tokens for hackers☆104Mar 17, 2023Updated 3 years ago
- A C interpreter developed live on YouTube☆56Mar 31, 2023Updated 3 years ago
- A minimal client and server example for libcoap☆52Jun 22, 2024Updated last year