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.
The CompCert formally-verified C compiler
Die Hauptfunktionen von absint/compcert sind: Build-Systeme.
Open-Source-Alternativen zu absint/compcert sind unter anderem: 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.
