The Grammar Checker for Developers

Blocks specific sites from appearing in Google search results

X terminal emulator rendering through OpenGL ES Compute Shaders

A C++ implementation of timsort

Sorting algorithms & related tools for C++14

Mold: A Modern Linker 🦠

Linux Kernel Defence Map shows the relationships between vulnerability classes, exploitation techniques, bug detection mechanisms, and defence technologies

A tool for checking the security hardening options of the Linux kernel

Various materials about Profile Guided Optimization and other similar stuff like AutoFDO, Bolt, etc.

Code samples presented during one of my public talks

Collection of tools for analyzing open source packages.

ZPAQ's complete code history mirror

JPEG XL image format reference implementation

PAQ8PX compression archiver

NHW : A Next-Generation Image Compression Codec

libsais is a library for linear time suffix array, longest common prefix array and burrows wheeler transform construction based on induced sorting algorithm.

A better and stronger spiritual successor to BZip2.

A language server for Bash

Lean 4 programming language and theorem prover

smenu started as a lightweight and flexible terminal menu generator, but quickly evolved into a powerful and versatile CLI selection tool for interactive or scripting use.

OSS-Fuzz - continuous fuzzing for open source software.

OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.

CLI tool and library for generating a Software Bill of Materials from container images and filesystems

scanf for modern C++

OpenSSF Scorecard - Security health metrics for Open Source

Official GitHub Action for OpenSSF Scorecard.

🤖 Just a command runner