GTFOBins is a curated list of Unix-like executables that can be used to bypass local security restrictions in misconfigured systems.
Repository Index
47,133 repositories indexed
1–8 of 8 · Most stars
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
Matching Engine for Limit Order Book in Golang
- exchange
- trading
- orderbook
- execution-engine
Visualize Python code execution (line-by-line) in Jupyter Notebook cells.
A curated collection of papers and resources on voice agents, from spoken interaction to autonomous task execution.
(module) A Go task scheduler for cron jobs with cron expressions, task dependency chains, execution timeouts, and graceful shutdown