Open Hub
Black Duck Open Hub

 Settings |  Report Duplicate

2
I Use This!
Activity Not Available

Related Projects

Projects Similar to Isabelle

C

C++ Mathematical Expression Library   (Compare Project)

Very Low Activity

Mostly written in C++

License: common_public


 
img avatar

xFunc   (Compare Project)

Moderate Activity

Mostly written in C#

License: lgpl


 
img avatar

seL4   (Compare Project)

Very High Activity

Mostly written in C

License: GNU_General_Public_License_v2_0_only


 

I

iron lambda   (Compare Project)

Inactive

Mostly written in coq

License: Unknown


 
img avatar

SWI-Prolog   (Compare Project)

Very High Activity

Mostly written in C

License: bsd_2clause_ish


 
img avatar

Coq proof assistant   (Compare Project)

Very High Activity

Mostly written in coq

License: lgpl


 
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


 

P

Pellet   (Compare Project)

Inactive

Mostly written in Java

License: AGPL3


 

People who use Isabelle also use:

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

This list is updated nightly.