Open Hub
Open Hub

 Settings |  Report Duplicate

1
I Use This!
Moderate Activity

Related Projects

Analyzed about 22 hours ago. based on code collected about 23 hours ago.

Projects Similar to CompCert

img avatar

GNU Compiler Collection   (Compare Project)

Very High Activity

Mostly written in C++

License: gpl3_or_later


 
img avatar

Cython   (Compare Project)

High Activity

Mostly written in Python

License: apache_2


 
img avatar

ANTLR   (Compare Project)

Very Low Activity

Mostly written in Java

License: BSD-3-Clause


 
img avatar

Small Device C Compiler   (Compare Project)

Activity Not Available

Mostly written in C

License: gpl3_or_later


 

C

ccache   (Compare Project)

Moderate Activity

Mostly written in C++

License: gpl3_or_later


 
img avatar

Sparse   (Compare Project)

Very Low Activity

Mostly written in C

License: mit


 

D

devkitPro   (Compare Project)

Activity Not Available

Mostly written in C

License: BSD-3-Clause, CC-BY-NC-SA-2-5, gpl


 
img avatar

Jari OS   (Compare Project)

Inactive

Mostly written in C

License: GNU_Free_Documentation_License, gpl, gpl3, lgpl3, lgpl


 

D

distcc   (Compare Project)

Activity Not Available

Mostly written in C

License: gpl


 
img avatar

Tiny C Compiler   (Compare Project)

Moderate Activity

Mostly written in C

License: LGPLv2_1


 

People who use CompCert also use:

Open Hub requires more users for this project before we can determine project relationships.

This list is updated nightly.