GitHub - williamofai/c-from-scratch: Learn to build safety-critical systems in C. Prove first, code second.
github.com
Learn to build safety-critical systems in C. Prove first, code second. - williamofai/c-from-scratch