The CompCert formally-verified C compiler
Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
Principalele funcționalități ale balde/balde sunt: Sisteme de build, Developer Frameworks.
Alternativele open-source pentru balde/balde includ: 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.