Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams
☆20Mar 24, 2022Updated 3 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
Sorting:
- Racket style lenses for the Common Lisp☆11Dec 7, 2020Updated 5 years ago
- Tree data structure supporting functional manipulation. Works closely with FSet.☆17Feb 25, 2026Updated last week
- http://cdr.eurolisp.org/document/2/☆17Sep 14, 2025Updated 5 months ago
- destructuring extension of let*☆24Aug 31, 2022Updated 3 years ago
- Run etcd as an asynchronous inferior process☆19Feb 2, 2023Updated 3 years ago
- Yet Another Portable Library for Process Handling / Subshell Invokation☆10Aug 1, 2020Updated 5 years ago
- Generating and managing callbacks from C into Heaven (Lisp).☆12Mar 27, 2020Updated 5 years ago
- Common Lisp Package for Parallel Corpus Processing☆13Feb 17, 2024Updated 2 years ago
- GrammaTech Common Lisp Utilities☆22Feb 23, 2026Updated last week
- ☆19Feb 17, 2018Updated 8 years ago
- ☆16Sep 23, 2024Updated last year
- Collection of useful higher-level data objects -- BTrees, Queues, etc.☆25Jan 2, 2013Updated 13 years ago
- Uniform Resource Locators for Common Lisp☆21Jun 11, 2025Updated 8 months ago
- A Common Lisp library for decompressing deflate, zlib, gzip, and bzip2 data☆14Apr 18, 2023Updated 2 years ago
- A system installation/loading abstraction for Common Lisp☆12Feb 11, 2024Updated 2 years ago
- A customizer for common lisp dynamic variables☆12Nov 2, 2021Updated 4 years ago
- A compatibility layer for Gray streams including extensions☆14Nov 24, 2025Updated 3 months ago
- SLIME extension for Lisp Critic☆10Jul 2, 2023Updated 2 years ago
- 80% xectors☆47Feb 5, 2022Updated 4 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 6 months ago
- JSON Pointer processor for Common Lisp☆13Nov 8, 2022Updated 3 years ago
- Experiments on workflow with common lisp☆25Updated this week
- Portability library for the extensible sequences protocol☆16Aug 13, 2025Updated 6 months ago
- Clojure-style concurrency operations in Common Lisp☆45Jun 1, 2024Updated last year
- List manipulation library inspired by Haskell package Data.List☆34Mar 17, 2021Updated 4 years ago
- A vega-lite DSL for Common Lisp☆34Feb 22, 2026Updated last week
- This is a library for generating common-lisp clients from OpenAPI v2 specifications.☆18Mar 16, 2021Updated 4 years ago
- ☆17Jul 12, 2024Updated last year
- A pure-lisp DNS record client☆16Aug 13, 2025Updated 6 months ago
- House automation bus in Common Lisp☆24Feb 25, 2026Updated last week
- Common Lisp bindings for Enchant spell-checker library☆17Sep 12, 2025Updated 5 months ago
- Some Clojure-ish thingies for Common Lisp☆21Nov 9, 2025Updated 3 months ago
- Common Lisp next generation (discussion)☆31May 11, 2023Updated 2 years ago
- A library for reading, writing, and representing structures from binary storage☆19Aug 13, 2025Updated 6 months ago
- A Common Lisp Framework for the Semantic Web☆24Mar 28, 2021Updated 4 years ago
- Common Lisp system for decoding public JSON Web Keys (JWK)☆17Jul 10, 2023Updated 2 years ago
- Supervisor trees (and some more) for Common Lisp☆21Jun 23, 2020Updated 5 years ago
- Optimizing Abstract Abstract Machines☆31Apr 6, 2017Updated 8 years ago