Open Hub
Open Hub

 Settings |  Report Duplicate

2
I Use This!
Very Low Activity

Related Projects

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

Projects Similar to GAPT

img avatar

Skeptik   (Compare Project)

Inactive

Mostly written in Scala

License: Creative_Commons_NoncommercialShare_Alike-deleted


 

L

lean   (Compare Project)

Very High Activity

Mostly written in C

License: apache_2


 
img avatar

Coq proof assistant   (Compare Project)

Very High Activity

Mostly written in OCaml

License: lgpl


 
img avatar

CVC4   (Compare Project)

High Activity

Mostly written in C++

License: BSD-3-Clause


 

I

iron lambda   (Compare Project)

Inactive

Mostly written in coq

License: Unknown


 

M

minikanren-scala   (Compare Project)

Inactive

Mostly written in Scala

License: bsd


 

T

TheoLog   (Compare Project)

Very Low Activity

Mostly written in shell script

License: cc-by-4-0


 
img avatar

Debian Science   (Compare Project)

Activity Not Available

License: CoreSystemIV, Multiple_OSI_Approved


 
img avatar

xFunc   (Compare Project)

Moderate Activity

Mostly written in C#

License: lgpl


 
img avatar

Math.NET Symbolics   (Compare Project)

Very Low Activity

Mostly written in F#

License: mit


 

People who use GAPT also use:

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

This list is updated nightly.