Easily build and run CHERI related projects

eBPF verifier based on abstract interpretation

QEMU with support for CHERI

Transform geospatial relations into graphs for Graph Neural Networks and network analysis

A delightful TUI framework for Zig

Userspace eBPF VM

Linux virtual machines, with a focus on running containers

Run ebpf programs in docker (e.g., bpftrace)

🌸 A command-line fuzzy finder

Jira plugin for Neovim

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

Kepler.gl is a powerful open source geospatial analysis tool for large-scale data sets.

Neovim fugitive style git blame plugin

Fork/mirror of the mrsh-v2 reference implementation by Frank Breitinger

Port of the Gruvbox Material theme for Ghostty

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

similarity digest hashing tool

A publicly available set of IoT malware samples for benchmarking existing and future IoT malware analysis and detection methods

A comprehensive collection of Gruvbox-themed configuration files for Hyprland and related applications.

Simple TUI audio mixer for PipeWire

My personal configuration files for Linux

Bringing a refreshing macOS-inspired skin to Firefox

The Z3 Theorem Prover

A fast and easy-to-use status bar

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

a simple feature-rich dynamic tiling window manager

Adium is an open source and free instant messaging application for macOS that can connect to XMPP (Jabber), IRC and more.

An open-source 3DS emulator project based on Citra.

AnduinOS is a custom Ubuntu-based Linux distribution that offers a familiar and easy-to-use experience for anyone moving to Linux.