Fikoko/Canon-C

A standard library for formally-verified C — with explicit, composable primitives that can scale.

3 best points · 2 comments · 1 Hacker News post · 20 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Canon-C – a semantic C library (3 points, 2 comments, by Fikoko, 2026-02-10)