Show HN: C From Scratch – Learn safety-critical C with prove-first methodology
william1872 Sunday, January 25, 2026
Seven modules teaching C the way safety-critical systems are actually built: MATH → STRUCT → CODE → TEST.
Each module answers one question: Does it exist? (Pulse), Is it normal? (Baseline), Is it regular? (Timing), Is it trending? (Drift), Which sensor to trust? (Consensus), How to handle overflow? (Pressure), What do we do about it? (Mode).
Every module is closed (no dependencies), total (handles all inputs), deterministic, and O(1). 83 tests passing.
Built this after 30 years in UNIX systems. Wanted something that teaches the rigour behind certified systems without requiring a decade of on-the-job learning first.
MIT licensed. Feedback welcome.
Summary
This repository provides a step-by-step guide on implementing a C programming language interpreter from scratch, covering fundamental concepts like lexing, parsing, and evaluation. It serves as a valuable resource for developers interested in understanding the inner workings of a programming language.
29
1
Summary
github.com