vegard's Stars
3b1b/manim
Animation engine for explanatory math videos
resume/resume.github.com
Resumes generated using the GitHub informations
NVIDIA/open-gpu-kernel-modules
NVIDIA Linux open GPU kernel module source
Chlumsky/msdfgen
Multi-channel signed distance field generator
RealNeGate/Cuik
A Modern C11 compiler (STILL EARLY)
theZiz/aha
Ansi HTML Adapter
lvc/abi-compliance-checker
A tool for checking backward API/ABI compatibility of a C/C++ library
star-sg/CVE
A collection of proof-of-concept exploit scripts written by the STAR Labs team for various CVEs that they discovered or found by others.
FuzzySecurity/Unix-PrivEsc
Local UNIX PrivEsc Aggregation
lvc/abi-dumper
Dump ABI of an ELF object containing DWARF debug info
garrett/Tux
Tux, the Linux penguin
brianwatling/libfiber
A User Space Threading Library Supporting Multi-Core Systems
urraka/texpack
Simple cross-platform command line texture packer based on the MaxRects algorithm by Jukka Jylänki (https://github.com/juj/RectangleBinPack).
openela/kernel-lts
OpenELA Linux kernel LTS stable branches
pfalstad/ripplegl
Ripple Tank, webgl version
mrapacz/disjoint-set
DisjointSet data structure implementation for Python
ColinIanKing/pagemon
Pagemon is an interactive memory/page monitoring tool allowing one to browse the memory map of an active running process.
usnistgov/vulntology
Development of the NIST vulnerability data ontology (Vulntology).
talamus/rw-psf
Convert Linux console font to either Plain Text or BMP image – and back!
vegard/v
toy language/compiler
vegard/clsat
OpenCL SAT solver
vegard/libx86
C++ interface to x86/x86-64 registers and data structures
JustinLloyd/Gameboy-Cribsheet
Gameboy Cribsheet
vegard/pwman
JavaScript Password Manager
vegard/cmpsat
Mladen Nikolić's tool for comparing sample runtime distributions of SAT solvers
vegard/minisat-www
MiniSat in a browser
vegard/bitcoin
Bitcoin integration/staging tree
vegard/linux
Linux kernel source tree
vegard/medici
Medici - The Da Vinci Journals (GBA)
vegard/satxx11
Parallel SAT solver