Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams
☆20Mar 24, 2022Updated 4 years ago
Alternatives and similar repositories for cl-smt-lib
Users that are interested in cl-smt-lib are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Racket style lenses for the Common Lisp☆11Dec 7, 2020Updated 5 years ago
- http://cdr.eurolisp.org/document/2/☆17Sep 14, 2025Updated 6 months ago
- Tree data structure supporting functional manipulation. Works closely with FSet.☆17Mar 16, 2026Updated last week
- GrammaTech Common Lisp Utilities☆22Feb 23, 2026Updated last month
- destructuring extension of let*☆25Aug 31, 2022Updated 3 years ago
- Run etcd as an asynchronous inferior process☆19Feb 2, 2023Updated 3 years ago
- ☆16Sep 23, 2024Updated last year
- A Common Lisp library for decompressing deflate, zlib, gzip, and bzip2 data☆14Apr 18, 2023Updated 2 years ago
- Portability library for the extensible sequences protocol☆16Aug 13, 2025Updated 7 months ago
- Collection of useful higher-level data objects -- BTrees, Queues, etc.☆25Jan 2, 2013Updated 13 years ago
- Yet Another Portable Library for Process Handling / Subshell Invokation☆10Aug 1, 2020Updated 5 years ago
- ☆19Feb 17, 2018Updated 8 years ago
- Clojure-style concurrency operations in Common Lisp☆45Jun 1, 2024Updated last year
- Experiments on workflow with common lisp☆25Mar 1, 2026Updated 3 weeks ago
- SLIME extension for Lisp Critic☆10Jul 2, 2023Updated 2 years ago
- A traversal fusion EDSL for Common Lisp☆23Feb 5, 2022Updated 4 years ago
- A heap-based priority queue whose first and foremost priority is speed.☆35Aug 15, 2025Updated 7 months ago
- A pure-lisp DNS record client☆16Aug 13, 2025Updated 7 months ago
- Generating and managing callbacks from C into Heaven (Lisp).☆12Mar 27, 2020Updated 5 years ago
- Uniform Resource Locators for Common Lisp☆21Jun 11, 2025Updated 9 months ago
- A customizer for common lisp dynamic variables☆12Nov 2, 2021Updated 4 years ago
- 80% xectors☆47Feb 5, 2022Updated 4 years ago
- A system installation/loading abstraction for Common Lisp☆12Feb 11, 2024Updated 2 years ago
- Common Lisp next generation (discussion)☆31May 11, 2023Updated 2 years ago
- Clojure-style regular expression functions in Common Lisp☆13Feb 11, 2024Updated 2 years ago
- A compatibility layer for Gray streams including extensions☆14Nov 24, 2025Updated 4 months ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated 10 months ago
- A vega-lite DSL for Common Lisp☆34Mar 9, 2026Updated 2 weeks ago
- Common Lisp Package for Parallel Corpus Processing☆13Feb 17, 2024Updated 2 years ago
- Configuration management library for Common Lisp with profile support.☆20Sep 28, 2022Updated 3 years ago
- List manipulation library inspired by Haskell package Data.List☆34Mar 17, 2021Updated 5 years ago
- Constructive Galois connections☆36Mar 26, 2018Updated 7 years ago
- The ISSR backend for The Hunchentoot HTTP server.☆25Sep 12, 2021Updated 4 years ago
- Common Lisp library for reading and writing JSON.☆21Oct 12, 2017Updated 8 years ago
- Collection of Utilities for Gerbil Scheme☆45Sep 19, 2025Updated 6 months ago
- Supervisor trees (and some more) for Common Lisp☆21Jun 23, 2020Updated 5 years ago
- Dictionary and set data structures using hash array-mapped tries (HAMT)☆34Mar 13, 2020Updated 6 years ago
- Fast and flexible base64 encoder/decoder in Lisp☆21Jan 22, 2022Updated 4 years ago
- JSON Pointer processor for Common Lisp☆13Nov 8, 2022Updated 3 years ago