The CompCert formally-verified C compiler
Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
cargo, make me a project
الميزات الرئيسية لـ cargo-generate/cargo-generate هي: أنظمة البناء.
تشمل البدائل مفتوحة المصدر لـ cargo-generate/cargo-generate: absint/compcert — The CompCert formally-verified C compiler. 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… abiggerhammer/hammer — Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.