The Z3 Theorem Prover

PyInstaller Extractor Next Generation

.NET Decompiler with support for PDB generation, ReadyToRun, Metadata (&more) - cross-platform!

Dex to Java decompiler

Ghidra is a software reverse engineering (SRE) framework

Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS

Unity il2cpp reverse engineer

Foundry-like interface for interacting with the Ethereum application in python with extra features for solving CTF Challenges using the web3 module

An advanced memory forensics framework

GEF - GDB Enhanced Features for exploit devs & reversers

Main repository of SageMath

Install and Run Python Applications in Isolated Environments

Simple Python version management

A new markup-based typesetting system that is powerful and easy to learn.

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

A summary of 200+ CTF blockchain challenges

Seatbelt is a C# project that performs a number of security oriented host-survey "safety checks" relevant from both offensive and defensive security perspectives.

Unofficial revival of the well known .NET debugger and assembly editor, dnSpy

The GZ::CTF project, an open source CTF platform.

Exploit Development and Reverse Engineering with GDB & LLDB Made Easy

CVP "trick" for CTF challenges

C++ python bytecode disassembler and decompiler

Rapidly Search and Hunt through Windows Forensic Artefacts

Adversary Emulation Framework

This tool lets you search your gadgets on your binaries to facilitate your ROP exploitation. ROPgadget supports ELF, PE and Mach-O format on x86, x64, ARM, ARM64, PowerPC, SPARC, MIPS, RISC-V 64, a…

Small and highly portable detection tests based on MITRE's ATT&CK.

Defund the Police.

Program for determining types of files for Windows, Linux and MacOS.

📢 🔒 Exploit manager for attack-defense CTF competitions