Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
Low Activity

Related Projects

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

Projects Similar to Klever

img avatar

CPAchecker   (Compare Project)

High Activity

Mostly written in Java

License: apache_2


 
img avatar

DIVINE   (Compare Project)

Activity Not Available

Mostly written in C++

License: bsd_2clause_ish


 
img avatar

spin-checker   (Compare Project)

Very Low Activity

Mostly written in C

License: BSD_License


 
img avatar

.NET Code Contracts   (Compare Project)

Inactive

Mostly written in C#

License: mit


 

S

Set Decision Diagrams and ITS tools   (Compare Project)

Very Low Activity

Mostly written in Java

License: gpl


 
img avatar

Spot   (Compare Project)

Activity Not Available

Mostly written in C++

License: gpl3_or_later


 
img avatar

Workcraft   (Compare Project)

Moderate Activity

Mostly written in Java

License: lgpl


 
img avatar

codechecker   (Compare Project)

High Activity

Mostly written in Python

License: apache_2


 
img avatar

CoFlo   (Compare Project)

Inactive

Mostly written in C++

License: gpl3


 

G

GNU cflow   (Compare Project)

Activity Not Available

License: gpl3


 

People who use Klever also use:

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

This list is updated nightly.