AI search

Explore more awesome repositories

Describe what you need in plain English — the AI ranks thousands of curated open-source projects by relevance.

Open-source alternatives to CompCert

Similar open-source projects, ranked by how many features they share with CompCert.

adamierymenko/huffandpuff
adamierymenko/huffandpuff
0View on GitHub
View on GitHub0
alanxz/rabbitmq-c
alanxz/rabbitmq-c
1,859View on GitHub
RabbitMQ C client
C
View on GitHub1,859
andrewrk/libsoundio
andrewrk/libsoundio
2,089View on GitHub
C library for cross-platform real-time audio input and output
C
View on GitHub2,089
abiggerhammer/hammer
abiggerhammer/hammer
291View on GitHub
Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
C
View on GitHub291

Similar open-source projects, ranked by how many features they share with CompCert.

adamierymenko/huffandpuff
adamierymenko/huffandpuff
0View on GitHub
View on GitHub0
alanxz/rabbitmq-c
alanxz/rabbitmq-c
1,859View on GitHub
RabbitMQ C client
C
View on GitHub1,859
andrewrk/libsoundio
andrewrk/libsoundio
2,089View on GitHub
C library for cross-platform real-time audio input and output
C
View on GitHub2,089
abiggerhammer/hammer
abiggerhammer/hammer
291View on GitHub
Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
C
View on GitHub291