Monorepo for infrastructure and challenges of SECedu CTF 2019.
☆28Jul 13, 2020Updated 5 years ago
Alternatives and similar repositories for Geegle3
Users that are interested in Geegle3 are comparing it to the libraries listed below
Sorting:
- Microarchitectural weird machine implementation using exceptions, TSX, branch predictors, and branch target buffers.☆17May 24, 2023Updated 2 years ago
- A Linux x86_64 ELF loader in user-space written in Rust☆39Nov 28, 2020Updated 5 years ago
- A very simple coverage highlighter for VIM☆12Dec 2, 2020Updated 5 years ago
- CTF write-ups / solution scripts☆23Nov 4, 2018Updated 7 years ago
- https://exploit-exercises.com/fusion/☆20Dec 29, 2015Updated 10 years ago
- A collection of scripts to aid in reverse engineering and exploit development.☆24Oct 3, 2021Updated 4 years ago
- ☆12Aug 8, 2024Updated last year
- My ansible playbooks repo for various silly things.☆13Jun 17, 2025Updated 9 months ago
- ☆37Jun 7, 2019Updated 6 years ago
- Repository for UMD CS Course: Introduction to Data Science I: Preparing, Storing, and Manipulating Data☆17Dec 13, 2014Updated 11 years ago
- Writeups for the challenges from DownUnderCTF 2021☆181Sep 18, 2022Updated 3 years ago
- Emulate native integer and floating-point types in Python☆20May 15, 2023Updated 2 years ago
- A more realistic demo of a buffer overflow cause by -ffast-math☆15Sep 10, 2022Updated 3 years ago
- Detect possible security problems with Unicode usage according to Unicode Technical Standard #39 rules.☆17Dec 27, 2025Updated 2 months ago
- Hackthebox automation scripts and writeups.☆22Jan 27, 2020Updated 6 years ago
- Simple brainfuck compiler writen with LLVM☆11Dec 10, 2019Updated 6 years ago
- A PowerShell script to prevent Sysmon from writing its events☆17Apr 23, 2020Updated 5 years ago
- Formalising Turing Machines In Coq (bachelor's thesis)☆12Jul 5, 2023Updated 2 years ago
- Source for my blog☆25Mar 9, 2026Updated last week
- A tool for translating imperative programs to CSP.☆13Feb 7, 2017Updated 9 years ago
- Miscellaneous old Exploit code and PoCs☆16Oct 1, 2024Updated last year
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- Repository for the SydneyMusic.net community website☆22Mar 12, 2026Updated last week
- Implementation of the user-space eBPF VM based on the iovisor version (https://github.com/iovisor/ubpf)☆13Apr 16, 2020Updated 5 years ago
- break link between dll and it file on disk☆12Sep 2, 2024Updated last year
- Tartocitron is a repo to have fun with malwares and the Rust language. This repo provides working examples of dropper written in Rust.☆11May 31, 2022Updated 3 years ago
- Disassemblers with various trimming methodologies☆15Jan 1, 2025Updated last year
- Code for blog written at 0xdarkvortex.dev Red Team TTPs Part 2☆19Oct 8, 2020Updated 5 years ago
- Attacking-Edge-Through-the-JavaScript-Compiler☆91Feb 15, 2019Updated 7 years ago
- A Golang Implementation of a non-interactive Schnorr ZKP over Elliptic Curves☆10Sep 1, 2019Updated 6 years ago
- This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.☆16Jul 24, 2018Updated 7 years ago
- quotient types in cubical Agda☆24Feb 4, 2019Updated 7 years ago
- Small examples of how to use AFL to fuzz OCaml programs☆15Aug 30, 2019Updated 6 years ago
- Data from analysis of the custom sample from the chapter "Practical Analysis and Test"☆12Aug 1, 2020Updated 5 years ago
- 🍎 Play Bad Apple! with Haskell☆15Jul 22, 2022Updated 3 years ago
- #lang for writing C code☆16May 30, 2017Updated 8 years ago
- A grammar based feedback Fuzzer☆463Aug 17, 2024Updated last year
- API hashing written in C to load APIs indirectly using CRC32 hashing☆15Jul 27, 2020Updated 5 years ago
- interact with HackTheBox from your terminal☆24Jul 24, 2019Updated 6 years ago