NASA PVS Library of Formal Developments
Repository Index
47,133 repositories indexed
1–11 of 11 · Most stars
A sensible Common Lisp linter that catches real mistakes, not style
- common-lisp
- linter
Common Lisp with Arc Macros and Procedures
A small hash utility library for Common Lisp
Pack several small values into a single integer
CL-AGRAPH — A minimal portable Lisp client for AllegroGraph
Decimal number parser and formatter package for the Common Lisp language
- decimal-numbers
- common-lisp
- library
- parser
A minimal wrapper around `dot` available at least on Linux systems to generate dependency-graphs.
Small library to make slugs, mainly for URIs, from english and beyond.
A minimalist CouchDB 2.x database client.
- common-lisp
- couchdb
A session management middleware for ningle and clack applications.
- authentication
- clack
- lisp
- web-development