NASA PVS Library of Formal Developments
Repository Index
47,133 repositories indexed
1–6 of 6 · Most stars
High performance Transactional Memory for Common Lisp
query language and terminal utility for querying and transforming Lisp, JSON and other text files. written in Common Lisp
- common-lisp
- domain-specific-languages
- dsl
- json
Decimal number parser and formatter package for the Common Lisp language
- decimal-numbers
- common-lisp
- library
- parser
Clojure-compatible threading/transformation/arrow macros for Common Lisp
Augments Hunchentoot error pages and logs with request and session information.
- web
- hunchentoot
- lisp
- common-lisp