3
I Use This!
High Activity

Related Projects

Analyzed about 21 hours ago. based on code collected 1 day ago.

Projects Similar to RODIN

img avatar

Spot   (Compare Project)

Moderate Activity

Mostly written in C++

License: gpl3_or_later


 

Void Safety Formalization   (Compare Project)

Activity Not Available

License: CC_BY-NC-SA_4-0


 
img avatar

Workcraft   (Compare Project)

Moderate Activity

Mostly written in Java

License: lgpl


 

gran   (Compare Project)

Inactive

Mostly written in Python

License: mit


 

Klever   (Compare Project)

Low Activity

Mostly written in JavaScript

License: apache_v2


 
img avatar

spin-checker   (Compare Project)

Very Low Activity

Mostly written in C

License: BSD_License


 
img avatar

Vaadin   (Compare Project)

Activity Not Available

Mostly written in Java

License: apache_2


 
img avatar

FindBugs   (Compare Project)

Inactive

Mostly written in Java

License: lgpl-v3


 
img avatar

Checkstyle   (Compare Project)

Very High Activity

Mostly written in Java

License: lgpl


 
img avatar

PMD   (Compare Project)

Very High Activity

Mostly written in Java

License: BSD-3-Clause


 

People who use RODIN also use:

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

This list is updated nightly.