A collection of resources for learning type theory and type theory adjacent fields.

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 environmen…

CVE List Found by Team Code4Block

Solidity Exploit Helper v.0.2

A Z3-Based String Constraint Solver

Go implementation of the Ethereum protocol

A collection of links related to Linux kernel security and exploitation

Volatility Framework plugin for extracting BitLocker FVEK (Full Volume Encryption Key)

strace is a diagnostic, debugging and instructional userspace utility for Linux

A hacky debugger UI for hackers

ImageMagick is a free, open-source software suite for creating, editing, converting, and displaying images. It supports 200+ formats and offers powerful command-line tools and APIs for automation, …

smali/baksmali

The Z3 Theorem Prover