← 최신 프로덕트

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.

오픈소스

427 스타 · GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. 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점

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

    Hacker News5점

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

    Hacker News5점

  4. Essentials-C

    github.com

    A minimal C library for string and array manipulation

    Hacker News10점

  5. A concise, structured guide to the C programming language.

    Hacker News37점