acl2

Install command:
brew install acl2

Logic and programming language in which you can model computer systems

https://www.cs.utexas.edu/users/moore/acl2/index.html

License: BSD-3-Clause

Formula JSON API: /api/formula/acl2.json

Formula code: acl2.rb on GitHub

Bottle (binary package) installation support provided for:

Apple Silicon sequoia
sonoma
ventura
Intel sonoma
ventura
64-bit linux

Current versions:

stable 8.6

Depends on:

sbcl 2.4.9 Steel Bank Common Lisp system

Analytics:

Installs (30 days)
acl2 72
Installs on Request (30 days)
acl2 72
Build Errors (30 days)
acl2 1
Installs (90 days)
acl2 155
acl2 --HEAD 1
Installs on Request (90 days)
acl2 155
acl2 --HEAD 1
Installs (365 days)
acl2 808
acl2 --HEAD 1
Installs on Request (365 days)
acl2 808
acl2 --HEAD 1
Fork me on GitHub