https://regexcrossword.com/ solver using Z3py
☆20Jan 14, 2022Updated 4 years ago
Alternatives and similar repositories for regex-crossword-solver
Users that are interested in regex-crossword-solver are comparing it to the libraries listed below
Sorting:
- My challenges for AIS3 pre-exam 2019 and MyFirstCTF 2019☆21Jun 16, 2019Updated 6 years ago
- By manipulating LSASS memory flags like UseLogonCredential and IsCredGuardEnabled, this repo demonstrates how Credential Guard can be byp…☆14May 25, 2025Updated 9 months ago
- A framework for exploiting padding oracles in network-based applications☆26Feb 25, 2023Updated 3 years ago
- CDCL(Crypto) SAT solver for cryptanalysis problems☆11Mar 5, 2021Updated 5 years ago
- Generate DOM clobbering attack vectors for you.☆35Jun 3, 2025Updated 9 months ago
- A library for analyzing LLVM bitcode in Haskell☆44Oct 9, 2014Updated 11 years ago
- Past presentation materials☆10Jul 10, 2018Updated 7 years ago
- A Multithread PcapNG capturing tool with Hardware timestamping☆10Nov 6, 2016Updated 9 years ago
- A large collection of blogs 🦐☆13Apr 12, 2025Updated 10 months ago
- pre-release.☆12Jul 15, 2015Updated 10 years ago
- ☆10Jan 28, 2013Updated 13 years ago
- 用於 Java, Design Pattern 的教育學習專案，包含一些 demo code。☆10Nov 29, 2017Updated 8 years ago
- Mass Parallel Secure Shell command execution☆12Nov 9, 2025Updated 3 months ago
- A bot that do auto search and gain points☆10Nov 2, 2023Updated 2 years ago
- Formal semantics of LLVM IR in K☆47Jun 13, 2018Updated 7 years ago
- A library for GNU make to schedule rules as jobs with qsub or sbatch☆11Mar 7, 2013Updated 13 years ago
- Windows command line utility to set Intel FIVR voltage offset.☆13Mar 7, 2021Updated 5 years ago
- A simple intermediate language for generating EVM bytecode.☆13Oct 17, 2024Updated last year
- ☆12Mar 15, 2020Updated 5 years ago
- Find unicode codepoints to use in normalisation and transformation attacks.☆11Mar 15, 2021Updated 4 years ago
- decompression algorithms for NDS☆17Apr 13, 2012Updated 13 years ago
- ☆10Jun 13, 2014Updated 11 years ago
- Composable high-level instrumentation for C libraries' malloc and friends☆18Nov 15, 2025Updated 3 months ago
- A REALLY Danger Windows Driver, Turn Any threads Ring0!☆13Aug 11, 2025Updated 6 months ago
- ICPC codebook used by kiseki☆11Nov 11, 2024Updated last year
- A fork of https://github.com/SafeBreach-Labs/pinjectra with a practical implementation of Stack Bombing☆29Oct 22, 2020Updated 5 years ago
- ☆23Nov 18, 2025Updated 3 months ago
- ☆13Oct 14, 2016Updated 9 years ago
- A rust proof of concept to demonstrate registry overwriting via RegRestoreKey using the Offline Registry Library☆24Nov 13, 2025Updated 3 months ago
- Leveraging TPM2 TCG Logs (Measured Boot) to Detect UEFI Drivers and Pre-Boot Applications☆22Mar 28, 2025Updated 11 months ago
- Linux kernel-mode and user-space with wine/MinGW/Windows compability hacking library.☆12Sep 15, 2022Updated 3 years ago
- Run ssh in parallel using xargs☆15Feb 20, 2014Updated 12 years ago
- Download browser extension's source code as zip☆21Nov 23, 2025Updated 3 months ago
- A C# implementation that disables Windows Firewall bypassing UAC☆17Oct 23, 2024Updated last year
- ☆15Sep 2, 2024Updated last year
- Install dnscrypt-proxy on Ubuntu 18.04☆10Dec 15, 2018Updated 7 years ago
- This plugin enables users to create or update Bootstrap (v3, v4) grid system within TinyMCE (v4, v5) editor.☆10Jan 20, 2023Updated 3 years ago
- An IdaPython tool for getting syscall's ID and function name from ntdll.dll, user32.dll, and so on.☆13Oct 2, 2016Updated 9 years ago
- Peregrine - Create and Share Gists from the macOS menubar☆14May 29, 2018Updated 7 years ago