Open Hub
Open Hub

 Settings |  Report Duplicate

1
I Use This!
Moderate Activity

Related Projects

Analyzed 1 day ago. based on code collected 3 days ago.

Projects Similar to CompCert

img avatar

GNU Compiler Collection   (Compare Project)

Activity Not Available

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.