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 9 months ago
- Tree data structure supporting functional manipulation. Works closely with FSet.☆17May 8, 2026Updated last month
- GrammaTech Common Lisp Utilities☆22Apr 7, 2026Updated 2 months ago
- destructuring extension of let*☆25Aug 31, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Run etcd as an asynchronous inferior process☆20Feb 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 3 years ago
- Portability library for the extensible sequences protocol☆16May 18, 2026Updated 3 weeks 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
- SLIME extension for Lisp Critic☆10Jul 2, 2023Updated 2 years ago
- Clojure-style concurrency operations in Common Lisp☆46May 31, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A traversal fusion EDSL for Common Lisp☆23Feb 5, 2022Updated 4 years ago
- Experiments on workflow with common lisp☆26Apr 24, 2026Updated last month
- A heap-based priority queue whose first and foremost priority is speed.☆35Aug 15, 2025Updated 9 months ago
- A pure-lisp DNS record client☆16May 17, 2026Updated 3 weeks ago
- Generating and managing callbacks from C into Heaven (Lisp).☆12Mar 27, 2020Updated 6 years ago
- Uniform Resource Locators for Common Lisp☆23Jun 11, 2025Updated last year
- 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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
- A compatibility layer for Gray streams including extensions☆14May 31, 2026Updated last week
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated last year
- 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
- A vega-lite DSL for Common Lisp☆37May 9, 2026Updated last month
- Constructive Galois connections☆36Mar 26, 2018Updated 8 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- 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
- 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
- Collection of Utilities for Gerbil Scheme☆45Jun 3, 2026Updated last week
- 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