Yet Another Classical planning plan validator written in modern Common Lisp
☆14Nov 9, 2021Updated 4 years ago
Alternatives and similar repositories for ArriVAL
Users that are interested in ArriVAL are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Docstring to Texinfo tool.☆16May 10, 2023Updated 3 years ago
- Minimal Perfect Hash-Table CL Implementation☆16Jan 31, 2018Updated 8 years ago
- Common Lisp in-memory graph database.☆23May 11, 2026Updated 5 months ago
- FMCS: the Flavors Meta-Class System for Common Lisp and alternative to CLOS+MOP, restored from the CMU AI Repository☆12Aug 31, 2023Updated 3 years ago
- Prolog Technology Theorem Prover☆14Jun 19, 2024Updated 2 years ago
- 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.
- ALSA bindings for Common Lisp☆12Jun 24, 2026Updated 4 months ago
- A portable and extensible Common Lisp pretty printer.☆14Jul 11, 2026Updated 3 months ago
- Jürgen Walther's AI Workbench for Common Lisp, restored from the CMU AI Repository☆14Nov 4, 2023Updated 2 years ago
- Garnet - a graphical toolkit for Lisp☆21Dec 30, 2021Updated 4 years ago
- common-lisp markup language for generating latex code☆11Jun 18, 2013Updated 13 years ago
- A setf like macro for functional programming☆72Aug 1, 2020Updated 6 years ago
- Shallow Tcl/Tk bindings for Common Lisp☆16Jun 1, 2015Updated 11 years ago
- Utilities for interacting with the filesystem☆17May 17, 2026Updated 5 months ago
- An event bus in Common Lisp.☆13Dec 4, 2019Updated 6 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.
- OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data☆32Oct 6, 2026Updated 3 weeks ago
- A ressurrected image processing library☆35Mar 18, 2020Updated 6 years ago
- Flexible and customizable static site generator with a lot of plugins!☆26Oct 26, 2026Updated last week
- Run etcd as an asynchronous inferior process☆21Feb 2, 2023Updated 3 years ago
- Common Lisp introspection library for the call stack and restarts☆46May 17, 2026Updated 5 months ago
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Jan 11, 2021Updated 5 years ago
- List manipulation library inspired by Haskell package Data.List☆34Mar 17, 2021Updated 5 years ago
- ☆26Apr 3, 2023Updated 3 years ago
- Video file decoding in Common Lisp☆20Apr 8, 2017Updated 9 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 Audio Video Engine☆20May 27, 2021Updated 5 years ago
- A few addons for log4cl Common Lisp logging library.☆15Aug 22, 2026Updated 2 months ago
- Text-based histograms in Common Lisp inspired by the venerable HBOOK histogramming library from CERN.☆17Sep 2, 2026Updated 2 months ago
- SQL Mapping Framework for Common Lisp☆10Feb 7, 2026Updated 8 months ago
- *Lisp simulator☆28Oct 11, 2013Updated 13 years ago
- A logic programming library for Common Lisp.☆63Dec 22, 2020Updated 5 years ago
- Source repository utilities in Common Lisp☆15Jul 4, 2023Updated 3 years ago
- Lua-style Pattern Matching for Common Lisp☆49Jun 17, 2021Updated 5 years ago
- Implementation of fact bases for Common Lisp☆23Feb 20, 2018Updated 8 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.
- Douglas Crosher's public domain code for direct system calls from CMUCL on Linux☆16Jul 1, 2013Updated 13 years ago
- Arc compatible package☆15Nov 24, 2023Updated 2 years ago
- graph analysis tools in Common Lisp☆43Feb 14, 2025Updated last year
- Destructuring match. Archived: now https://tfeb.org/computer/repos/dsm.git☆12Dec 13, 2025Updated 10 months ago
- LMDB bindings for Common Lisp☆45Jan 19, 2023Updated 3 years ago
- Source code and related files from one of the first versions of Emacs from late 1976, with a couple files from 1977☆15Aug 22, 2025Updated last year
- Image processing DSL implemented in C-Mera☆10Dec 12, 2016Updated 9 years ago