Open Hub
Black Duck Open Hub

 Settings |  Report Duplicate

1
I Use This!
Activity Not Available

Related Projects

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

Projects Similar to Void Safety Formalization

N

Null Safety Benchmark   (Compare Project)

Inactive

Mostly written in Eiffel

License: CC_BY-NC-SA_4-0


 
img avatar

seL4   (Compare Project)

Very High Activity

Mostly written in C

License: GNU_General_Public_License_v2_0_only


 

E

eiffel-iup   (Compare Project)

Very Low Activity

Mostly written in Eiffel

License: Unknown


 

E

eiffel-cd   (Compare Project)

Inactive

Mostly written in Eiffel

License: Unknown


 
img avatar

Spot   (Compare Project)

Moderate Activity

Mostly written in C++

License: gpl3_or_later


 
img avatar

RODIN   (Compare Project)

High Activity

Mostly written in Java

License: eclipse


 
img avatar

Workcraft   (Compare Project)

Moderate Activity

Mostly written in Java

License: lgpl


 

K

Klever   (Compare Project)

Low Activity

Mostly written in JavaScript

License: apache_v2


 

G

gran   (Compare Project)

Inactive

Mostly written in Python

License: mit


 
img avatar

spin-checker   (Compare Project)

Very Low Activity

Mostly written in C

License: BSD_License


 

People who use Void Safety Formalization also use:

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

This list is updated nightly.