Open Hub
Black Duck Open Hub

 Settings |  Report Duplicate

2
I Use This!
Very High Activity

Related Projects

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

Projects Similar to acl2

img avatar

CVC4   (Compare Project)

High Activity

Mostly written in C++

License: BSD-3-Clause


 

S

Steel Bank Common Lisp   (Compare Project)

Very High Activity

Mostly written in Lisp

License: BSD-3-Clause, Public_Domain


 
img avatar

Superior Lisp Interaction Mode for Emacs   (Compare Project)

Moderate Activity

Mostly written in Lisp

License: Unknown


 

L

Lisppaste   (Compare Project)

Activity Not Available

License: mit


 
img avatar

SWIG   (Compare Project)

High Activity

Mostly written in C++

License: gpl3


 
img avatar

SuperTux   (Compare Project)

High Activity

Mostly written in C++

License: Unknown


 
img avatar

GNU CLISP - an ANSI Common Lisp   (Compare Project)

Very Low Activity

Mostly written in C

License: gpl


 
img avatar

Maxima GPL CAS based on DOE-MACSYMA   (Compare Project)

High Activity

Mostly written in Lisp

License: gpl


 
img avatar

StumpWM   (Compare Project)

Moderate Activity

Mostly written in Lisp

License: gpl


 
img avatar

Racket   (Compare Project)

High Activity

Mostly written in Racket

License: lgpl21


 

People who use acl2 also use:

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

This list is updated nightly.