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
Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
Smaller, easier, more powerful, and more reliable than make. An implementation of djb's redo.
The main features of apenwarr/redo are: Build Systems.
Projects with overlapping indexed features include: 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.
