The CompCert formally-verified C compiler
Python PyPi staging server and packaging, testing, release tool
The main features of devpi/devpi are: Package Distribution, Build Systems.
Open-source alternatives to devpi/devpi include: pypa/bandersnatch — A PyPI mirror client according to PEP 381 + PEP 503 + PEP 691. 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… absint/compcert — The CompCert formally-verified C compiler.