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 3 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 10 months ago
- Tree data structure supporting functional manipulation. Works closely with FSet.☆17Updated this week
- 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.
- 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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☆36Mar 26, 2018Updated 8 years ago
- Clojure-style concurrency operations in Common Lisp☆46Jun 28, 2026Updated 3 weeks ago
- 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 open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 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 last month
- 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Clath is single sign-on middleware for Clack. Login with OAuth1.0a, OAuth2 or OpenID Connect.☆40Oct 25, 2025Updated 8 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 4 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 4 months ago
- SLIME extension for Lisp Critic☆10Jul 2, 2023Updated 3 years ago