Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
Inactive

Related Projects

Analyzed about 14 hours ago. based on code collected 2 days ago.

Projects Similar to ScavengerProver

img avatar

CVC4   (Compare Project)

High Activity

Mostly written in C++

License: BSD-3-Clause


 

G

Gappa   (Compare Project)

Activity Not Available

License: gpl


 
img avatar

OpenCog Framework   (Compare Project)

Very Low Activity

Mostly written in Scheme

License: AGPL3


 

A

AtomSpace   (Compare Project)

High Activity

Mostly written in C++

License: Unknown


 

H

Hets - the Heterogenous Toolset   (Compare Project)

Activity Not Available

Mostly written in Haskell

License: Hets


 
img avatar

UnBBayes   (Compare Project)

Activity Not Available

License: gpl3


 

G

grools-application   (Compare Project)

Inactive

Mostly written in shell script

License: Unknown


 
img avatar

gama-gateway   (Compare Project)

Inactive

Mostly written in PHP

License: gpl


 

X

Xcerpt   (Compare Project)

Inactive

Mostly written in Haskell

License: gpl


 

R

RUnBBayes   (Compare Project)

Inactive

Mostly written in R

License: Unknown


 

People who use ScavengerProver also use:

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

This list is updated nightly.