How this analysis was created: This summary and feature list are AI-generated from collected project material and can contain mistakes. Stars, license and language are imported from GitHub. Inclusion does not mean that we have tested or audited this project. Check the source documentation for any feature you depend on. Learn more on our About page.
The CompCert formally-verified C compiler
The main features of absint/compcert are: Build Systems.
Projects with overlapping indexed features include: adamierymenko/huffandpuff — Minimal Huffman coder/decoder. 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.
