SpeyTech/c-from-scratch

Learn to build safety-critical systems in C. Prove first, code second.

72 best points · 12 comments · 1 Hacker News post · 427 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: C From Scratch – Learn safety-critical C with prove-first methodology (72 points, 12 comments, by william1872, 2026-01-25)