Crucible is a library for symbolic simulation of imperative programs

OASIS SARIF TC: Repository for development of the draft standard, where requests for modification should be made via Github Issues

A powerful static binary rewriting tool

Practical fuzzing tutorials and training

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

Core emulator components for Icicle

A tiny C header-only risc-v emulator.

tiniest x86-64-linux emulator

A lightweight overlay volume (or anything) bar for the X Window System.

A cross-platform GUI library for Rust, inspired by Elm

Magnificent app which corrects your previous console command.

Debugging-friendly exceptions for Python

Minimalistic H264/SVC encoder single header library

Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

A brief computer graphics / rendering course

An open source VR headset with SteamVR supports for $200