Select a tag to browse associated projects and drill deeper into the tag cloud.
acl2
A
Analyzed about 19 hours ago
Community ACL2 System and Books
The ACL2 theorem proving environment consists of two parts: The ACL2 System and The ACL2 Books. This repository contains both. Home pages are at:
http://www.cs.utexas.edu/users/moore/acl2/ (ACL2 theorem prover)
https://github.com/acl2/acl2 (community system + books repository).
Licenses:
gpl
CFFI
C
Analyzed about 8 hours ago
The Common Foreign Function Interface, a portable foreign function interface for Common Lisp. The CFFI library is composed of a Lisp-implementation-specific backend in the CFFI-SYS package, and a portable frontend in the CFFI package.
The CFFI-SYS backend package defines a low-level interface to
jsown
J
Analyzed 2 days ago
reader/writer for the JSON format in common lisp
Licenses:
No declared licenses
Beirc
B
No analysis available
beirc is a graphical Internet Relay Chat client using the clim (or mcclim) graphical library and built on top of cl-irc. beirc is the creation of Gilbert Baumann.
Its features include:
* Multiple channels on multiple servers (one channel per tab)
* Ignore nicks (messages from selected nicks
Mostly written in language not available
Licenses:
mit
sawmill
S
No analysis available
Sawmill is a log analysis tool which can be used to analyze Web site traffic, proxy usage, ftp usage, and much more. Major features include a persistent database for long-term tracking of statistics, hierarchical data mining features, and many security features appropriate for use in a multi-user environment.
Mostly written in language not available
Licenses:
No declared licenses
bknr
Analyzed about 23 hours ago
BKNR is a set of libraries to provide persistence to Lisp applications as well as serve persistent objects using HTTP in various formats. The persistence mechanism supports named transactions as well as a persistent object system implemented using the Metaobject protocol.
Web sites known to be
Licenses:
BSD-3-Clause
CLOCC - Common Lisp Open Code Collection
Analyzed 5 months ago
Our aim is to create a collection of useful and free Common Lisp - Applications that are easily portable among the various CL - Implementations.