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 voxel library for real-time applications.

Command line animations based on the state of the system

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

The project is an official implement of our ECCV2018 paper "Simple Baselines for Human Pose Estimation and Tracking(https://arxiv.org/abs/1804.06208)"

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

Anbox is a container-based approach to boot a full Android system on a regular GNU/Linux system

An open source VR headset with SteamVR supports for $200