1
I Use This!
Inactive

Related Projects

Analyzed about 3 hours ago. based on code collected 1 day ago.

Projects Similar to Skeptik

img avatar

GAPT   (Compare Project)

Very Low Activity

Mostly written in Scala

License: gpl3_or_later


 
img avatar

Coq proof assistant   (Compare Project)

Very High Activity

Mostly written in coq

License: lgpl


 

software-foundations   (Compare Project)

Inactive

Mostly written in Nix

License: Unknown


 
img avatar

bonak   (Compare Project)

Low Activity

Mostly written in coq

License: lgpl


 

science-problems   (Compare Project)

Inactive

Mostly written in PHP

License: Unknown


 

minikanren-scala   (Compare Project)

Inactive

Mostly written in Scala

License: bsd


 
img avatar

SWI-Prolog   (Compare Project)

Very High Activity

Mostly written in C

License: bsd_2clause_ish


 
img avatar

Qucs   (Compare Project)

Inactive

Mostly written in TypeScript

License: gpl


 
img avatar

sigrok   (Compare Project)

Activity Not Available

License: gpl, gpl3_or_later


 
img avatar

libsigrok   (Compare Project)

Low Activity

Mostly written in C

License: gpl3_or_later


 

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.