gdeangelis

DOOM

DOOM Open Source Release

Bash-Oneliner

A collection of handy Bash One-Liners and terminal tricks for data processing and Linux system maintenance.

ecapture

Capturing SSL/TLS plaintext without a CA certificate using eBPF. Supported on Linux/Android kernels for amd64/arm64.

tiny-gpu

A minimal GPU design in Verilog to learn how GPUs work from the ground up

udlbook

Understanding Deep Learning - Simon J.D. Prince

HelloSilicon

An introduction to ARM64 assembly on Apple Silicon Macs

AeroSpace

AeroSpace is an i3-like tiling window manager for macOS

bpftop

bpftop provides a dynamic real-time view of running eBPF programs. It displays the average runtime, events per second, and estimated total CPU % for each program.

drl-zh

Deep Reinforcement Learning: Zero to Hero!

c-style

My favorite C programming practices.

spf-dkim-dmarc-simplified

Email security is a key part of internet communication. But what are SPF, DKIM, and DMARC, and how do they work? This guide will explain it all in simple terms to make these concepts clearer.

tla-rust

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

OffsetAllocator

Fast O(1) offset allocator with minimal fragmentation

KUtrace

Low-overhead tracing of all Linux kernel-user transitions, for serious performance analysis. Includes kernel patches, loadable module, and post-processing software. Output is HTML/SVG per-CPU-core timeline that you can pan/zoom down to the nanosecond.

imperial_hft

portwarden

Create Encrypted Backups of Your Bitwarden Vault with Attachments

proxmox-nixos

The Proxmox Hypervisor, on NixOS [maintainers=@camillemndn @julienmalka]

foosbar

Code to support my autonomous foosball playing robot

reladiff

High-performance diffing of large datasets across databases

searchformer

Official codebase for the paper "Beyond A* Better Planning with Transformers via Search Dynamics Bootstrapping".

pyroboplan

Educational Python library for manipulator motion planning

vroom

userspace nvme driver

tlsd

Generate (message) sequence diagrams from TLA+ state traces

tla-transmutation

Elixir code and test generation from TLA+ specifications

bitwarden-attachment-exporter

Exports Bitwarden Attachments Based on Export File

learn-io-polling

🐧 What is epoll?

HomeLab

My current HomeLab Setup and other cool things I'm interested in!

baudio

Audio Tinkerers Plaything (DAC/CMoy Amp/VU/DigiPots)

enzuru

TLA-broadcast-algorithms

Broadcast algorithms implemented in TLA+ and Erlang