gblikas / set-theory-solutions-manualView external linksLinks
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:
- ☆12Sep 3, 2023Updated 2 years ago
- A simple sql parser with context-free grammer, predictive parser and lexer with DFA☆12Oct 29, 2015Updated 10 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
- Basic Windows 32-bit debugger with special functions like directory monitoring and DLL injection☆14Mar 7, 2019Updated 6 years ago
- some bare tooling for interacting with Blazor Server☆14Aug 5, 2022Updated 3 years ago
- Bypassing Benefit's jailbreak detection☆12Jan 15, 2024Updated 2 years ago
- Removes diacritics from strings containing Latin-1 Supplement, Latin Extended-A, Latin Extended-B and Latin Extended Additional special c…☆12Jul 22, 2021Updated 4 years ago
- Console version of the pen and paper game Obstruction with the Minimax algorithm.☆11Jun 18, 2021Updated 4 years ago
- Solution for Ricardo Narvaja's C++ Exploiting Exercise☆13Jul 21, 2019Updated 6 years ago
- A powerful Burp Suite extension that imports Postman collections☆31Aug 1, 2025Updated 6 months ago
- A python-based padding oracle tool☆20Aug 14, 2024Updated last year
- Decompile an x86 exe, and read PE infos.☆19Sep 29, 2018Updated 7 years ago
- Driver for the USBD peripheral in nRF microcontrollers☆24Nov 28, 2025Updated 2 months ago
- Online Godot class reference status☆25Updated this week
- Godot Engine – Multi-platform 2D and 3D game engine☆18Updated this week
- DEPRECATED: Extra libraries to help working with gfx-hal☆20Oct 25, 2020Updated 5 years ago
- A header-only implementation of SipHash☆33Jul 29, 2025Updated 6 months ago
- Exploring replacing Zig's stage1 compiler with pure C code that outputs pure C code☆27Nov 4, 2022Updated 3 years ago
- Simple C UI Library for embedded platforms☆41Jan 24, 2018Updated 8 years ago
- ☆43Jul 18, 2025Updated 6 months ago
- A SAT solver written in Haskell.☆39Oct 7, 2018Updated 7 years ago
- Crackmes Keygenmes Serialmes y más☆43Sep 11, 2022Updated 3 years ago
- A Gfx 2D back-end for the Piston game engine☆56Dec 7, 2025Updated 2 months ago
- Zig Documentation Generator☆46Mar 11, 2024Updated last year
- A Zig command-line input library!☆50Sep 17, 2023Updated 2 years ago
- State of the art "build your own engine" kit powered by gfx-hal☆30Jan 16, 2020Updated 6 years ago
- byte lite - A C++17-like byte type for C++98, C++11 and later in a single-file header-only library☆60Nov 28, 2025Updated 2 months ago
- A single executable implementation of various coreutils.☆57Nov 25, 2025Updated 2 months ago
- Compile time counter that works with all major modern compilers☆60Oct 31, 2023Updated 2 years ago
- An OpenGL 2D back-end for the Piston game engine☆66Jun 5, 2025Updated 8 months ago
- Dockerfile for zig programming language☆52Oct 26, 2022Updated 3 years ago
- Enable RW access to "read-only" partitions (e.g: vs0, os0). Don't use it.☆50Jun 3, 2018Updated 7 years ago
- ☆61Nov 20, 2025Updated 2 months ago
- The DRAT-trim proof checker☆68Nov 25, 2024Updated last year
- Write-ups for crackmes and CTF challenges☆53Nov 24, 2022Updated 3 years ago
- Reads UTF-8 on stdin and prints out the raw Unicode codepoints. Useful for seeing exactly what a string consists of.☆64Jan 11, 2022Updated 4 years ago
- Game Categories Lite for PSP☆74Aug 25, 2022Updated 3 years ago
- Humane API for storing and accessing persistent data in IDA Pro databases☆84Jul 1, 2020Updated 5 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆87Updated this week