Open Hub
Open Hub

 Settings |  Report Duplicate

3
I Use This!
Activity Not Available

Related Projects

Projects Similar to Gappa

img avatar

CVC4   (Compare Project)

High Activity

Mostly written in C++

License: BSD-3-Clause


 
img avatar

ScavengerProver   (Compare Project)

Inactive

Mostly written in Scala

License: Unknown


 

I

Interval Package for Coq   (Compare Project)

Activity Not Available

License: lgpl21


 
img avatar

Concuerror   (Compare Project)

Very Low Activity

Mostly written in Erlang

License: bsd_2clause_ish


 
img avatar

Chef   (Compare Project)

Activity Not Available

License: apache_2


 

C

confctl   (Compare Project)

Inactive

Mostly written in C

License: BSD-2-Clause


 

U

Universal Numbers Arithmetic Library   (Compare Project)

Very Low Activity

Mostly written in C++

License: Unknown


 

C

canonical-random-float   (Compare Project)

Inactive

Mostly written in C++

License: gpl3


 
img avatar

ScUtil   (Compare Project)

Inactive

Mostly written in Erlang

License: mit


 

H

Hets - the Heterogenous Toolset   (Compare Project)

Activity Not Available

Mostly written in Haskell

License: Hets


 

People who use Gappa also use:

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

This list is updated nightly.