Browse New Popular Keyword Cloud Advanced Search Submit a Link
All ArtsBusinessChildrenComputersGamesHealthHomeNewsRecreationReferenceRegionalScienceShoppingSocietySports

ACL2

cs.utexas.edu
Visit Site

Applicative Common Lisp, multipurpose system. Most common uses: language for programming, specification, modeling; a formal mathematical logic, semi-automatic theorem prover. [Open Source, GPL]

Category
Compilers and Interpreters
Visits
405
Added
Mar 17, 2024
Rating
(125)
Rate This Site
More in Compilers and Interpreters Report
QR Code
QR code Download PNG
Embed Badge
Place this code on your website to show you're listed here.
Submit Your Site

Add your website to our directory for free.

Submit a Link
Related Links
SBCL: Steel Bank Common Lisp 479 visits
Arc 474 visits
Ufasoft Lisp 450 visits
librep 388 visits
Corman Technologies 348 visits
Get the best links delivered weekly — hand-picked from 1,200,810 resources