Personal Website & Blog Theme for Hugo

Nix Packages collection & NixOS

An ergonomic, six-layer extended keyboard layout designed for small keyboards.

Canary keyboard layout

Miryoku is an ergonomic, minimal, orthogonal, and universal keyboard layout.

mimalloc is a compact general purpose allocator with excellent performance.

Stack trace visualizer

Abseil Common Libraries (C++)

PDF Help Viewer

The core OCaml system: compilers, runtime system, base libraries

Jenkins Plugin for a³

Jenkins Plugin for Astrée

Advanced text editor

Syntax highlighting Engine for Structured Text and Code.

KTextEditor Framework

The CompCert formally-verified C compiler