Development of the NIST vulnerability data ontology (Vulntology).

OpenELA Linux kernel LTS stable branches

A Modern C11 compiler (STILL EARLY)

DisjointSet data structure implementation for Python

Pagemon is an interactive memory/page monitoring tool allowing one to browse the memory map of an active running process.

Animation engine for explanatory math videos

A collection of proof-of-concept exploit scripts written by the STAR Labs team for various CVEs that they discovered or found by others.

NVIDIA Linux open GPU kernel module source

A tool for checking backward API/ABI compatibility of a C/C++ library

Dump ABI of an ELF object containing DWARF debug info

Ripple Tank, webgl version

Local UNIX PrivEsc Aggregation

Multi-channel signed distance field generator

Simple cross-platform command line texture packer based on the MaxRects algorithm by Jukka Jylänki (https://github.com/juj/RectangleBinPack).

A User Space Threading Library Supporting Multi-Core Systems

Tux, the Linux penguin

Linux kernel source tree

Convert Linux console font to either Plain Text or BMP image – and back!

toy language/compiler

Ansi HTML Adapter

Resumes generated using the GitHub informations

Mladen Nikolić's tool for comparing sample runtime distributions of SAT solvers

C++ interface to x86/x86-64 registers and data structures

MiniSat in a browser

Medici - The Da Vinci Journals (GBA)

Parallel SAT solver

JavaScript Password Manager

OpenCL SAT solver

Bitcoin integration/staging tree

Generate encrypted bitcoin keypair