← Latest products

C From Scratch

Learn safety-critical C with prove-first methodology. Learn to build safety-critical systems in C. Prove first, code second. Seven modules teaching C the way safety-critical systems are actually built: MATH → STRUCT → CODE → TEST.

Open source

427 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. Free C course called "C Systems Lab"

    csystemslab.com

    C Systems Lab is a free interactive web course that walks through 10 modules of systems programming in C: compilation, pointers, dynamic memory, structs, the preprocessor, file I/O, processes and signals, sockets, concurrency, and a tour below C.

    Hacker News6 pts

  2. Built a tiny interpreter from scratch in C to understand how they work

    github.com

    A minimal, clean interpreter in C, built for fun. A perfect starter kit for learning about or building your own language.

    Hacker News5 pts

  3. C and C++ preprocessor for modern memory safety

    github.com

    Bringing modern memory safety and zero-configuration builds to classic C.

    Hacker News5 pts

  4. Essentials-C

    github.com

    A minimal C library for string and array manipulation

    Hacker News10 pts

  5. The Little Book of C

    github.com

    A concise, structured guide to the C programming language.

    Hacker News37 pts