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 Baur

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

absint/compcert
AbsInt/CompCert
2,187View on GitHub
The CompCert formally-verified C compiler
Rocq Proverccompcertcompiler
View on GitHub2,187
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
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 Baur.

absint/compcert
AbsInt/CompCert
2,187View on GitHub
The CompCert formally-verified C compiler
Rocq Proverccompcertcompiler
View on GitHub2,187
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
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