Common lisp library for manipulating PDDL expressions.
☆19Sep 4, 2026Updated last month
Alternatives and similar repositories for pddl-tools
Users that are interested in pddl-tools are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Destructuring match. Archived: now https://tfeb.org/computer/repos/dsm.git☆12Dec 13, 2025Updated 10 months ago
- ☆17Sep 11, 2026Updated last month
- TFEB.ORG Lisp hax. Archived: now https://tfeb.org/computer/repos/tfeb-lisp-hax.git☆14Dec 13, 2025Updated 10 months ago
- Cl-Series: Richard C. Waters' SERIES package for Common Lisp, fork of https://gitlab.common-lisp.net/rtoy/cl-series☆12Mar 26, 2020Updated 6 years ago
- SUPERSEDED BY https://github.com/kraison/vivace-graph-v2. Open source Common Lisp graph database / RDF store☆15Oct 12, 2010Updated 16 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.
- Composable printing of objects.☆11Sep 29, 2022Updated 4 years ago
- Several graph algorithms in Common Lisp.☆10Oct 9, 2020Updated 6 years ago
- Prolog Technology Theorem Prover☆14Jun 19, 2024Updated 2 years ago
- Example of exposing C++ to Clasp☆16Nov 4, 2022Updated 3 years ago
- Live-narrowing, fuzzy-matching, extensible prompt framework.☆18Oct 25, 2026Updated last week
- Read and write Numpy .npy and .npz files.☆19Sep 19, 2023Updated 3 years ago
- Common lisp bindings to CUDD.☆13Jan 3, 2018Updated 8 years ago
- CLOG Plugin for Plotly.js☆13Oct 10, 2024Updated 2 years ago
- Pure-Lisp SVG renderer☆26Mar 17, 2026Updated 7 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- GNU Emacs teco-in-elisp interpreter☆18Aug 1, 2020Updated 6 years ago
- tool for working with conllu files in CL☆13Oct 28, 2021Updated 5 years ago
- My working copy of the Common Lisp ANSI Test Suite☆20Apr 1, 2023Updated 3 years ago
- Lisp-based OWL Full Processor on top of Common Lisp Object System (CLOS), See http://www-kasm.nii.ac.jp/~koide/SWCLOS2-en.htm☆20Mar 23, 2019Updated 7 years ago
- A simpler alternative to object prevalence for Common Lisp.☆54Jul 5, 2024Updated 2 years ago
- The Clicc Common Lisp implementation (version 0.6.4)☆19Oct 3, 2013Updated 13 years ago
- A Common Lisp text splitting library☆11May 29, 2024Updated 2 years ago
- Lockless skip lists for Common Lisp; well, for now sbcl 1.0.42 or higher. Contributions for other Lisps welcome. See the README file fo…☆19Apr 6, 2022Updated 4 years ago
- Environment protocol for Common Lisp compilers.☆31Jan 6, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆19Apr 17, 2023Updated 3 years ago
- SNARK - SRI's New Automated Reasoning Kit☆19Feb 24, 2025Updated last year
- Simple Network Management Protocol (SNMP) for Common Lisp☆25Feb 13, 2018Updated 8 years ago
- Scalar feature extractor for AI planning problems and domains in PDDL format☆16Dec 14, 2020Updated 5 years ago
- Common Lisp Audio Video Engine☆20May 27, 2021Updated 5 years ago
- A generator for low-level Common Lisp/CFFI bindings for the Vulkan API.☆12Jan 23, 2023Updated 3 years ago
- ☆21May 14, 2024Updated 2 years ago
- Embedded WebAssembly runtime for Common Lisp☆27Apr 20, 2025Updated last year
- The main objective of the IISCV (Lisp-based Version Control System) project is to "revive the image-based software development paradigm, …☆52Mar 2, 2026Updated 7 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 6 years ago
- Portability library for better interaction and debugging of a running Common Lisp image through text REPL.☆20Feb 12, 2026Updated 8 months ago
- A portable and extensible Common Lisp pretty printer.☆14Jul 11, 2026Updated 3 months ago
- Common iteration paths for LOOP☆14Nov 24, 2025Updated 11 months ago
- a fork of net.sourceforge.wilbur updated for mcl and sbcl☆26Sep 15, 2021Updated 5 years ago
- Port of Cyc to Common Lisp☆27May 11, 2026Updated 5 months ago
- Jürgen Walther's AI Workbench for Common Lisp, restored from the CMU AI Repository☆14Nov 4, 2023Updated 2 years ago