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.
Buildout is a deployment automation tool written in and extended with Python
The main features of buildout/buildout 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.