AceCov: Auxiliary Composite Edge Coverage for Fuzzing (EUROS&P 2025)

Apt-cyg, an apt-get like tool for Cygwin

Biotite: A High-Performance Static Binary Translator using Source-Level Information (CC 2025)

Veryl: A Modern Hardware Description Language

SurgeFuzz: Surge-Aware Directed Fuzzing for CPU Designs (ICCAD 2023)

Automatic mail classification extension with Bayesian filter for Thunderbird

Filelist generator

SystemVerilog language server

SystemVerilog linter

cygwin ck terminal emulator