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
Sorting:
- A Presentation Based User Interface for Emacs.☆38Jun 8, 2025Updated 8 months ago
- Common Lisp metaclass adding support for slot validation☆11Mar 31, 2025Updated 11 months ago
- ☆11Jun 24, 2021Updated 4 years ago
- A customizer for common lisp dynamic variables☆12Nov 2, 2021Updated 4 years ago
- A collection of Common Lisp modules☆14Dec 12, 2025Updated 2 months ago
- A toolkit library to help deal with CoreFoundation, Cocoa, and objc☆13Aug 13, 2025Updated 6 months ago
- image manipulation library for Common Lisp☆58Feb 8, 2026Updated 3 weeks ago
- Scheme to Common Lisp☆20Dec 16, 2023Updated 2 years ago
- Joshua and Clim Environment☆15Apr 20, 2022Updated 3 years ago
- generalized specializers work☆17Dec 5, 2017Updated 8 years ago
- Pluggable types for Common Lisp☆19Dec 9, 2023Updated 2 years ago
- a fork of net.sourceforge.wilbur updated for mcl and sbcl☆26Sep 15, 2021Updated 4 years ago
- House automation bus in Common Lisp☆24Feb 25, 2026Updated last week
- Rapid file search and inspection☆16Sep 9, 2025Updated 5 months ago
- OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data☆31Feb 25, 2026Updated last week
- Simple interface between Common Lisp and Maxima. Moved to https://git.sr.ht/~jmbr/maxima-interface☆18Mar 4, 2023Updated 3 years ago
- Helps macro writers produce better errors for macro users☆41Nov 12, 2025Updated 3 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
- A library for seamless multi-language programming.☆38Jan 29, 2025Updated last year
- An Emacs clone written in Common Lisp☆21Jun 29, 2020Updated 5 years ago
- Deep Learning Library for Common Lisp.☆58Oct 3, 2022Updated 3 years ago
- Sample implementation and specification of CLIM 3.☆57Jul 15, 2016Updated 9 years ago
- Julia-like dispatch for Common Lisp☆61May 30, 2021Updated 4 years ago
- Library for determining the types of Common Lisp forms based on information stored in the environment.☆19Dec 27, 2023Updated 2 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Common Lisp system for generating and parsing of OpenSSH keys☆23Jul 2, 2024Updated last year
- Mirror of Steel Bank Common Lisp (SBCL)'s official repository☆21Sep 17, 2022Updated 3 years ago
- The OpenCV binding library for CommonLisp☆70Sep 21, 2018Updated 7 years ago
- Infrastructure for scripting in Common Lisp☆73Dec 6, 2025Updated 2 months ago
- Common Lisp CFFI wrapper around the DuckDB C API☆49Feb 21, 2026Updated last week
- provides a nice, portable way to capture user-interrupt signals in lisp☆24Apr 26, 2024Updated last year
- A fork of Yosys that integrates the CellIFT pass☆13Jul 23, 2025Updated 7 months ago
- Synthesiser for Asynchronous Verilog Language☆20Oct 29, 2014Updated 11 years ago
- Common lisp bindings to CUDD.☆13Jan 3, 2018Updated 8 years ago
- SQL Mapping Framework for Common Lisp☆10Feb 7, 2026Updated 3 weeks ago
- Image processing DSL implemented in C-Mera☆10Dec 12, 2016Updated 9 years ago
- A client for OpenAI's GPT models in Common Lisp☆11Mar 21, 2023Updated 2 years ago
- Minimal Perfect Hash-Table CL Implementation☆16Jan 31, 2018Updated 8 years ago
- ☆11Jul 1, 2025Updated 8 months ago