formulae.brew.sh "common-lisp" keyword
acl2 8.7
Logic and programming language in which you can model computer systems5 versions - Latest release: 6 months ago - 1 dependent repositories - 24 downloads last month - 452 stars on GitHub
pgloader 3.6.10 💰
Data loading tool for PostgreSQL6 versions - Latest release: 8 months ago - 3 dependent repositories - 383 downloads last month - 6,549 stars on GitHub
roswell 26.10.118
Lisp installer and launcher for major environments6 versions - Latest release: 9 days ago - 4 dependent repositories - 128 downloads last month - 1,906 stars on GitHub
abcl 1.9.2
Armed Bear Common Lisp: a full implementation of Common Lisp4 versions - Latest release: over 3 years ago - 4 downloads last month - 327 stars on GitHub
Related Keywords
quicklisp
1
roswell
1
clozure-cl
1
csv
1
database
1
dbase
1
ixf
1
migration
1
mssql
1
mysql
1
pgloader
1
postgresql
1
sbcl
1
sqlite
1
ansi-x3j13
1
implementation
1
j
1
jvm-bytecode
1
jvm-languages
1
acl2
1
first-order-logic
1
formal-methods
1
formal-verification
1
logic
1
rewriting
1
theorem-prover
1
theorem-proving
1