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:
- GrammaTech Common Lisp Utilities☆22Apr 7, 2026Updated 4 months ago
- Racket style lenses for the Common Lisp☆11Dec 7, 2020Updated 5 years ago
- A Common Lisp library for decompressing deflate, zlib, gzip, and bzip2 data☆14Apr 18, 2023Updated 3 years ago
- http://cdr.eurolisp.org/document/2/☆17Sep 14, 2025Updated 11 months ago
- Tree data structure supporting functional manipulation. Works closely with FSet.☆17Jul 21, 2026Updated 3 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- destructuring extension of let*☆26Aug 31, 2022Updated 3 years ago
- Portability library for the extensible sequences protocol☆16May 18, 2026Updated 2 months ago
- Run etcd as an asynchronous inferior process☆21Feb 2, 2023Updated 3 years ago
- ☆16Sep 23, 2024Updated last year
- A pure-lisp DNS record client☆16May 17, 2026Updated 2 months ago
- Lisp utility functions : package management, data formatting, content types, dot, unit tests, ...☆16Mar 24, 2026Updated 4 months ago
- Common Lisp next generation (discussion)☆31May 11, 2023Updated 3 years ago
- Clojure-style regular expression functions in Common Lisp☆13Feb 11, 2024Updated 2 years ago
- Configuration management library for Common Lisp with profile support.☆20Sep 28, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated last year
- A heap-based priority queue whose first and foremost priority is speed.☆35Aug 15, 2025Updated 11 months 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
- Constructive Galois connections☆35Mar 26, 2018Updated 8 years ago
- Clojure-style concurrency operations in Common Lisp☆46Jun 28, 2026Updated last month
- A traversal fusion EDSL for Common Lisp☆23Feb 5, 2022Updated 4 years ago
- 80% xectors☆47Feb 5, 2022Updated 4 years ago
- Fast and flexible base64 encoder/decoder in Lisp☆21Jan 22, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Luke Gorrie's low-level networking library for Linux CMUCL☆10Jan 24, 2012Updated 14 years ago
- Collection of Utilities for Gerbil Scheme☆45Jun 3, 2026Updated 2 months ago
- Experiments on workflow with common lisp☆25Apr 24, 2026Updated 3 months ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆36Feb 28, 2022Updated 4 years ago
- Secure Hash Algorithm 3 (Keccak) Implementation in Common Lisp☆23Aug 21, 2023Updated 2 years ago
- A tool to extract plain text from HTML pages☆10Dec 7, 2017Updated 8 years ago
- Portable mmap (file memory mapping) utility library.☆44May 18, 2026Updated 2 months ago
- Efficient endianness conversion for SBCL☆20Jun 8, 2024Updated 2 years ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆13Nov 9, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Clath is single sign-on middleware for Clack. Login with OAuth1.0a, OAuth2 or OpenID Connect.☆40Oct 25, 2025Updated 9 months ago
- Gopher server written in Common Lisp☆13Nov 7, 2016Updated 9 years ago
- An event bus in Common Lisp.☆13Dec 4, 2019Updated 6 years ago
- Send emails with SendGrid's API☆14Mar 4, 2026Updated 5 months ago
- A thin wrapper to post HTML emails through mailgun.com☆12Mar 23, 2024Updated 2 years ago
- Array slices for Common Lisp☆11Mar 4, 2026Updated 5 months ago
- SLIME extension for Lisp Critic☆10Jul 2, 2023Updated 3 years ago