Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
Activity Not Available

Related Projects

Analyzed 3 months ago. based on code collected 4 months ago.

Projects Similar to ultimate

img avatar

Spot   (Compare Project)

Activity Not Available

Mostly written in C++

License: gpl3_or_later


 

S

Stud   (Compare Project)

Activity Not Available

Mostly written in C

License: BSD-2-Clause


 
img avatar

DIVINE   (Compare Project)

Activity Not Available

Mostly written in C++

License: bsd_2clause_ish


 

S

Set Decision Diagrams and ITS tools   (Compare Project)

Activity Not Available

Mostly written in Java

License: gpl


 
img avatar

Vcsn   (Compare Project)

Activity Not Available

Mostly written in C++

License: gpl3_or_later


 

L

libfsm   (Compare Project)

Activity Not Available

Mostly written in C

License: bsd_2clause_ish


 

D

DFA Interpreter   (Compare Project)

Activity Not Available

Mostly written in Python

License: Unknown


 

F

Finito State Machines   (Compare Project)

Activity Not Available

Mostly written in CoffeeScript

License: mit


 
img avatar

excusa   (Compare Project)

Activity Not Available

Mostly written in Postscript

License: mit


 

People who use ultimate also use:

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

This list is updated nightly.