The CompCert formally-verified C compiler
absint/compcert 的主要功能包括：构建系统。
absint/compcert 的开源替代品包括： adamierymenko/huffandpuff. alanxz/rabbitmq-c — RabbitMQ C client. andrewrk/libsoundio — C library for cross-platform real-time audio input and output. antirez/sds — sds is a C dynamic string library that provides a memory management wrapper for heap-allocated strings. It implements… apenwarr/redo — Smaller, easier, more powerful, and more reliable than make. An implementation of djb's redo. abiggerhammer/hammer — Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
C library for cross-platform real-time audio input and output
Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
