Yet Another Classical planning plan validator written in modern Common Lisp
☆13Nov 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:
- Yet Another Portable Library for Process Handling / Subshell Invokation☆10Aug 1, 2020Updated 5 years ago
- FMCS: the Flavors Meta-Class System for Common Lisp and alternative to CLOS+MOP, restored from the CMU AI Repository☆12Aug 31, 2023Updated 2 years ago
- A tool to extract plain text from HTML pages☆10Dec 7, 2017Updated 8 years ago
- *Lisp simulator☆28Oct 11, 2013Updated 12 years ago
- CL persistent object storage☆33Nov 10, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 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
- ALSA bindings for Common Lisp☆12Jun 24, 2026Updated last week
- A few addons for log4cl Common Lisp logging library.☆15Jan 9, 2026Updated 5 months ago
- Work in progress porting my blog software to Common Lisp☆10Sep 18, 2019Updated 6 years ago
- Run etcd as an asynchronous inferior process☆21Feb 2, 2023Updated 3 years ago
- ☆11Jun 24, 2021Updated 5 years ago
- A traversal fusion EDSL for Common Lisp☆23Feb 5, 2022Updated 4 years ago
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Jan 11, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Common Lisp Audio Video Engine☆20May 27, 2021Updated 5 years ago
- An event bus in Common Lisp.☆13Dec 4, 2019Updated 6 years ago
- List manipulation library inspired by Haskell package Data.List☆34Mar 17, 2021Updated 5 years ago
- ☆26Apr 3, 2023Updated 3 years ago
- Minimal Perfect Hash-Table CL Implementation☆16Jan 31, 2018Updated 8 years ago
- Text-based histograms in Common Lisp inspired by the venerable HBOOK histogramming library from CERN.☆18Jul 12, 2022Updated 3 years ago
- Common Lisp distributed computation framework implemented using Swank Client☆48Mar 31, 2026Updated 3 months ago
- Implementation of fact bases for Common Lisp☆23Feb 20, 2018Updated 8 years ago
- Reactive computation tree library for non-blocking concurrent Common Lisp☆52Nov 15, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Video file decoding in Common Lisp☆20Apr 8, 2017Updated 9 years ago
- A notebook-style editor for Common Lisp☆85Jan 2, 2021Updated 5 years ago
- SQL Mapping Framework for Common Lisp☆10Feb 7, 2026Updated 4 months ago
- Lua-style Pattern Matching for Common Lisp☆49Jun 17, 2021Updated 5 years ago
- An (incomplete) Common Lisp implementation of the iCalendar RFC5545 specification.☆14Apr 19, 2019Updated 7 years ago
- Efficient endianness conversion for SBCL☆20Jun 8, 2024Updated 2 years ago
- Source repository utilities in Common Lisp☆15Jul 4, 2023Updated 3 years ago
- http://cdr.eurolisp.org/document/2/☆17Sep 14, 2025Updated 9 months ago
- Extract documentation from Common Lisp systems☆42Mar 12, 2023Updated 3 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.
- Examples from the Lisp version of my semantic web book☆38Oct 13, 2025Updated 8 months ago
- An HTTP protocol parser in Common Lisp☆22Jul 27, 2020Updated 5 years ago
- SPLIT-SEQUENCE is a member of the Common Lisp Utilities family of programs, designed by community consensus.☆40Dec 5, 2021Updated 4 years ago
- ☆19Feb 17, 2018Updated 8 years ago
- Small library to make slugs, mainly for URIs, from english and beyond.☆25May 5, 2017Updated 9 years ago
- Flexible and customizable static site generator with a lot of plugins!☆26Jun 22, 2026Updated last week
- Secure Hash Algorithm 3 (Keccak) Implementation in Common Lisp☆23Aug 21, 2023Updated 2 years ago