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
Sorting:
- Exploits solution for CrackLatinos challenges☆17Sep 29, 2019Updated 6 years ago
- Network Security Fundamentals final class assignment used to show proficiency and understanding of network security. Built with Python an…☆11Jan 2, 2021Updated 5 years ago
- Pentesting-related Bash Scripts☆12Jan 4, 2020Updated 6 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
- ☆11Sep 3, 2023Updated 2 years ago
- Bypassing Benefit's jailbreak detection☆12Jan 15, 2024Updated 2 years ago
- An autobuyer for the web-game Neopets☆12Jan 5, 2023Updated 3 years ago
- Makes a nonogram when given a picture☆19Mar 24, 2023Updated 2 years ago
- Hacking Charles Web Debugging Proxy, Working 4.2.7 Version☆13Jan 2, 2019Updated 7 years ago
- The Python interface for YARA http://virustotal.github.io/yara/☆20Jul 13, 2017Updated 8 years ago
- Decompile an x86 exe, and read PE infos.☆19Sep 29, 2018Updated 7 years ago
- A python-based padding oracle tool☆20Aug 14, 2024Updated last year
- Notes on the AVR architecture☆21Oct 29, 2020Updated 5 years ago
- Struct and methods for union-find operation.☆21Feb 5, 2026Updated last month
- SMT solver for the theory of floating-point arithmetic☆25Jan 30, 2018Updated 8 years ago
- A 2D puzzle platformer made with the Amethyst game engine.☆25Aug 19, 2022Updated 3 years ago
- A tool for generating autotested documentation☆27Aug 19, 2025Updated 6 months ago
- DEPRECATED: Extra libraries to help working with gfx-hal☆20Oct 25, 2020Updated 5 years ago
- Browser-based iOS IPA security analyzer.☆56Jan 12, 2026Updated last month
- Exploring replacing Zig's stage1 compiler with pure C code that outputs pure C code☆27Nov 4, 2022Updated 3 years ago
- a series of trie testing things☆21Apr 9, 2017Updated 8 years ago
- Tool to find Protections used with confuserex☆28Jul 16, 2018Updated 7 years ago
- Collection of my IDAPython scripts☆33Sep 17, 2015Updated 10 years ago
- ☆30May 19, 2025Updated 9 months ago
- ROP database plugin for IDA☆32Jun 5, 2018Updated 7 years ago
- A Gfx 2D back-end for the Piston game engine☆56Dec 7, 2025Updated 3 months ago
- Minimal string compression☆52Nov 5, 2025Updated 4 months ago
- Zig Documentation Generator☆46Mar 11, 2024Updated last year
- A Godot tool for creating cell-based procedurally generated maps☆52Jun 12, 2024Updated last year
- A Unity-inspired hierarchical transform implementation using Legion ECS☆52Aug 6, 2020Updated 5 years ago
- A single executable implementation of various coreutils.☆60Nov 25, 2025Updated 3 months ago
- This program allows to edit the relocation table into a Portable Executable file☆54Apr 22, 2020Updated 5 years ago
- An OpenGL 2D back-end for the Piston game engine☆66Jun 5, 2025Updated 9 months ago
- Dockerfile for zig programming language☆52Oct 26, 2022Updated 3 years ago
- A C interpreter developed live on YouTube☆56Mar 31, 2023Updated 2 years ago
- Miosix is an OS kernel for embedded systems.☆63Updated this week
- ☆61Nov 20, 2025Updated 3 months ago
- The DRAT-trim proof checker☆68Nov 25, 2024Updated last year
- Bytecode interpreter☆79Jan 23, 2025Updated last year