Free monospaced font with programming ligatures

Production-ready fullstack but simple mail server (SMTP, IMAP, LDAP, Antispam, Antivirus, etc.) running inside a container.

BibTool is a tool for manipulating BibTeX data bases. BibTeX provides a mean to integrate citations into LaTeX documents. BibTool allows the manipulation of BibTeX files which goes beyond the possi…

ImmunityDebugger

Enables Gitlab web hooks to be used to trigger SMC polling on Gitlab projects

A window tiling extension for Gnome.

ROPMate is the first Visual Analytics system specifically designed to assist human in composing ROP chains with the desired semantics.

Yet another gnome extension for window tiling inspired by awesome supporting multiple workspaces and screens.

A tiling window extension for GNOME Shell

Seamless operability between C++11 and Python

Building a toy virtual machine that supports various integer operations.

A simple virtual machine - compiler & interpreter - written in golang

yet another weird vm, this time in ruby

Binary analysis in HOL

Docker container for Taiga https://taiga.io

A tool for matching and diffing source codes directly against binaries.

A toolkit for distributed mathematical modeling

A Git platform powered by Scala with easy installation, high extensibility & GitHub API compatibility

Set of tests for fuzzing engines

A modern editor with a backend written in Rust.

Generates memory map diagrams written in tikz for LaTeX

👨‍💻 My PhD.

Graphical ROP chain builder using radare2 and r2pipe

ROPium is a tool that helps you building ROP exploits by finding and chaining gadgets together

Tool to generate ROP gadgets for ARM, AARCH64, x86, MIPS, PPC, RISCV, SH4 and SPARC

A Python tool to generate ROP chains

GUI tool to create ROP chains using the ropper API

ACM consolidated LaTeX styles

Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, and Fortran. Run gdbgui from the terminal and a new tab will …