💾 Archived View for dcreager.net › file-formats › wuffs.gmi captured on 2024-12-17 at 10:17:20. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2024-08-18)
-=-=-=-=-=-=-
Wrangling Untrusted File Formats Safely
A restricted language, with heavy annotations of facts and proofs, that compiles down to safe C. Intended for parsing binary file formats.