Open Hub
Open Hub

 Settings |  Report Duplicate

1
I Use This!
Inactive

Related Projects

Analyzed about 14 hours ago. based on code collected about 15 hours ago.

Projects Similar to Skeptik

img avatar

Coq proof assistant   (Compare Project)

Very High Activity

Mostly written in OCaml

License: lgpl


 
img avatar

GAPT   (Compare Project)

Very Low Activity

Mostly written in Scala

License: gpl3_or_later


 

L

lean   (Compare Project)

Very High Activity

Mostly written in C

License: apache_2


 

S

software-foundations   (Compare Project)

Inactive

Mostly written in Nix

License: Unknown


 
img avatar

Isabelle   (Compare Project)

Activity Not Available

License: BSD-3-Clause


 
img avatar

bonak   (Compare Project)

Moderate Activity

Mostly written in coq

License: lgpl


 

S

science-problems   (Compare Project)

Inactive

Mostly written in PHP

License: Unknown


 

M

minikanren-scala   (Compare Project)

Inactive

Mostly written in Scala

License: bsd


 

R

rzk   (Compare Project)

Very Low Activity

Mostly written in Haskell

License: Unknown


 

H

holbert   (Compare Project)

Very Low Activity

Mostly written in Haskell

License: Unknown


 

People who use Skeptik also use:

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

This list is updated nightly.