Sudoku Solver using Z3
☆19Jan 23, 2020Updated 6 years ago
Alternatives and similar repositories for sudoku-solver
Users that are interested in sudoku-solver are comparing it to the libraries listed below
Sorting:
- Files and writeups for challenges I authored in BalsnCTF 2022.☆26Sep 5, 2022Updated 3 years ago
- IDA Python deobfuscation script for ConfuserEx binaries☆35Sep 15, 2022Updated 3 years ago
- A python toolkit that I created to help me solve cryptography CTF challenges.☆10Jun 24, 2022Updated 3 years ago
- Challenge source code and deployment scripts for UIUCTF 2022☆32Aug 9, 2022Updated 3 years ago
- My solutions for pwn and reversing challenges☆10Mar 18, 2018Updated 7 years ago
- Code and files specific to the AWS Certified Security - Specialty Exam Prep course☆10Jan 16, 2024Updated 2 years ago
- How to create VMware vagrant box☆11May 10, 2020Updated 5 years ago
- The artifact for NDSS '25 paper "ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environmen…☆14Oct 16, 2025Updated 4 months ago
- ☆11Oct 26, 2019Updated 6 years ago
- CVE-2024-43451 is a Windows NTLM vulnerability that allows an attacker to force authentication and capture NTLM hashes by using malicious…☆15Jan 21, 2025Updated last year
- Original themes, and theme edits for other themes☆10Jul 16, 2020Updated 5 years ago
- EagleEye: Transformer-based malware detection - https://ieeexplore.ieee.org/document/10896250☆16Mar 12, 2025Updated 11 months ago
- Scripts to automate IPv6 maintenance on RouterOS, and more☆14Jan 4, 2026Updated last month
- fork from A-Protect☆10Nov 26, 2018Updated 7 years ago
- A C++ tool for decrypting the Switch's flash memory (public domain, thanks to rajkosto for providing guidance)☆11Apr 30, 2018Updated 7 years ago
- Simple cmkr template to get you started with vcpkg right away.☆10Dec 6, 2024Updated last year
- PANDA-powered tracing engine for tenet☆11Apr 7, 2022Updated 3 years ago
- bert蒸馏实践，包含BiLSTM蒸馏BERT和TinyBert☆13Apr 23, 2022Updated 3 years ago
- Reverse-engineering, documenting and hacking a dog shock collar for use as a sex toy☆10Jun 13, 2021Updated 4 years ago
- Fix Mac OS X time using ntpdate☆13Oct 12, 2014Updated 11 years ago
- Newlib port for Switch☆11Sep 19, 2018Updated 7 years ago
- IPC Logger for the Switch☆15Aug 7, 2019Updated 6 years ago
- Play 2048 in notepad.exe☆13Feb 16, 2015Updated 11 years ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Oct 20, 2022Updated 3 years ago
- Random Codes Related to Reverse Engineering☆10Nov 24, 2022Updated 3 years ago
- Frida module utils, writen in typescript☆16Jan 30, 2024Updated 2 years ago
- ☆12Nov 21, 2022Updated 3 years ago
- Game from scratch - Pang (World) Arcade Clone☆12Apr 5, 2018Updated 7 years ago
- Class to help with adding logging function in smali output from 3rd party Android apps.☆10May 20, 2014Updated 11 years ago
- r2con 2020 CTF kernel challenge☆12Sep 13, 2020Updated 5 years ago
- Rust binding for Keystone assembler framework☆11Dec 9, 2018Updated 7 years ago
- eBPF Tools - Tool for monitoring, performance benchmarking and tracing linux kernel☆16Jan 29, 2021Updated 5 years ago
- Popular with WEP/Used in DC Darknet badge -- simple implementations that will ultimately be used in attacking the badge.☆14Sep 22, 2015Updated 10 years ago
- extract bitmap-data from a TrueType font to BDF-format text files☆11Jan 1, 2013Updated 13 years ago
- Specialization of BERT architecture both for the Spanish language and the Twitter domain☆13Nov 6, 2020Updated 5 years ago
- An express middleware module for CAS authentication with Single Sign On Universitas Indonesia (SSO-UI)☆12Feb 6, 2019Updated 7 years ago
- We are a Swiss Capture The Flag team. We participate in CTFs and publish write-ups on CTF tasks.☆10Mar 25, 2019Updated 6 years ago
- LLVM assembly syntax highlighting and snippets☆14Jan 24, 2026Updated last month
- Engine that enables control of Corsair RGB Keyboard lighting through a small Lua API.☆12Apr 29, 2015Updated 10 years ago