Common Interface to Boolean Satisfiability Solvers from Common Lisp
☆21Apr 29, 2022Updated 3 years ago
Alternatives and similar repositories for cl-sat
Users that are interested in cl-sat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Presentation Based User Interface for Emacs.☆38Jun 8, 2025Updated 9 months ago
- Common Lisp metaclass adding support for slot validation☆11Mar 31, 2025Updated 11 months ago
- Scheme to Common Lisp☆20Dec 16, 2023Updated 2 years ago
- ☆11Jun 24, 2021Updated 4 years ago
- Minimal Perfect Hash-Table CL Implementation☆16Jan 31, 2018Updated 8 years ago
- generalized specializers work☆17Dec 5, 2017Updated 8 years ago
- The complete collection of accessor functions and patterns to access the elements in a compound type specifier☆13Dec 3, 2019Updated 6 years ago
- Julia-like dispatch for Common Lisp☆61May 30, 2021Updated 4 years ago
- image manipulation library for Common Lisp☆58Feb 8, 2026Updated last month
- A customizer for common lisp dynamic variables☆12Nov 2, 2021Updated 4 years ago
- An Emacs clone written in Common Lisp☆22Jun 29, 2020Updated 5 years ago
- A toolkit library to help deal with CoreFoundation, Cocoa, and objc☆13Aug 13, 2025Updated 7 months ago
- Image processing DSL implemented in C-Mera☆10Dec 12, 2016Updated 9 years ago
- A collection of Common Lisp modules☆15Dec 12, 2025Updated 3 months ago
- a fork of net.sourceforge.wilbur updated for mcl and sbcl☆26Sep 15, 2021Updated 4 years ago
- Rapid file search and inspection☆16Sep 9, 2025Updated 6 months ago
- A function type to dispatch on types instead of classes with partial support for dispatching on optional and keyword argument types.☆54Jan 30, 2025Updated last year
- The OpenCV binding library for CommonLisp☆70Sep 21, 2018Updated 7 years ago
- Mirror of Steel Bank Common Lisp (SBCL)'s official repository☆21Sep 17, 2022Updated 3 years ago
- Pluggable types for Common Lisp☆19Dec 9, 2023Updated 2 years ago
- MeCab bindings for Common Lisp☆14Oct 4, 2018Updated 7 years ago
- Joshua and Clim Environment☆16Apr 20, 2022Updated 3 years ago
- HTTPS support for Quicklisp via curl☆34Mar 12, 2026Updated last week
- GURAFU is a plotting libaray.☆13Sep 12, 2024Updated last year
- Library for determining the types of Common Lisp forms based on information stored in the environment.☆19Dec 27, 2023Updated 2 years ago
- Simple interface between Common Lisp and Maxima. Moved to https://git.sr.ht/~jmbr/maxima-interface☆18Mar 4, 2023Updated 3 years ago
- (ALPHA) Persistent, memory-mapped Common Lisp object store☆14Oct 26, 2020Updated 5 years ago
- Common Lisp CFFI wrapper around the DuckDB C API☆49Mar 10, 2026Updated 2 weeks ago
- Helps macro writers produce better errors for macro users☆41Nov 12, 2025Updated 4 months ago
- Index page for Common Lisp portability libraries and their current support status☆31Aug 13, 2025Updated 7 months ago
- Pack several small values into a single integer☆26Dec 17, 2021Updated 4 years ago
- A Common Lisp implementation of the dataflow programming paradigm☆222Feb 10, 2023Updated 3 years ago
- Common Lisp implementation of (grid restrained) Nelder-Mead☆14Jan 26, 2018Updated 8 years ago
- provides a nice, portable way to capture user-interrupt signals in lisp☆24Apr 26, 2024Updated last year
- Binary releases for SBCL☆44Updated this week
- ☆26Apr 3, 2023Updated 2 years ago
- Infrastructure for scripting in Common Lisp☆73Dec 6, 2025Updated 3 months ago
- Sound synthesis library for Common Lisp based on CLM-5☆12Aug 15, 2023Updated 2 years ago
- OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data☆31Feb 25, 2026Updated last month