Proof of concept code for the Spectre CPU exploit.

Imperial College London lecture notes for Geometry, Algebra, and Number Theory

M4 algebraic geometry course in Lean

Lean 3's obsolete mathematical components library: please use mathlib4

This guide details creating a secure Linux production system. OpenSCAP (C2S/CIS, STIG).

Google Chromium, sans integration with Google

mGBA Game Boy Advance Emulator

Official Rubyzip repository

Lightweight YouTube client for Linux

Decrypted content of eqgrp-auction-file.tar.xz

A repository for learning various heap exploitation techniques.