Repository Index

GTFOBins is a curated list of Unix-like executables that can be used to bypass local security restrictions in misconfigured systems.

• post-exploitation
• linux
• unix
• bypass

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

• proof-assistant
• coq
• theorem-proving
• dependent-types

A curated list of awesome resources related to executable packing

• list
• awesome
• awesome-list
• executable-packing

PE Tools - Portable executable (PE) manipulation toolkit

• pefile
• hex-editor
• disassembler
• entropy