guicho271828 / ArriVALLinks
Yet Another Classical planning plan validator written in modern Common Lisp
☆13Updated 4 years ago
Alternatives and similar repositories for ArriVAL
Users that are interested in ArriVAL are comparing it to the libraries listed below
Sorting:
- Abacus – Unified Syntax for Pattern Matching over Algebraic Types in Common Lisp☆28Updated 10 years ago
- *Lisp simulator☆28Updated 12 years ago
- A simple directed graph implementation for Common Lisp.☆30Updated 2 years ago
- Pluggable types for Common Lisp☆19Updated 2 years ago
- A library of conveniences for working with the Common Lisp SERIES package☆39Updated 6 years ago
- prepl is a REPL implementation, also known as a Lisp listener☆14Updated 7 months ago
- A logic programming library for Common Lisp.☆64Updated 5 years ago
- Common Lisp with Arc Macros and Procedures☆75Updated 9 years ago
- Utilities for parsing Lisp code - previously known as cleavir-code-utilities☆10Updated 7 months ago
- Common Lisp bytecode compiler☆14Updated 2 months ago
- ECL + IMGUI = IMCL☆18Updated 5 years ago
- GrammaTech Common Lisp Utilities☆22Updated last month
- Generating and managing callbacks from C into Heaven (Lisp).☆12Updated 5 years ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆15Updated 10 years ago
- implementation of cdr-8☆17Updated 8 years ago
- Supervisor trees (and some more) for Common Lisp☆21Updated 5 years ago
- Reactive computation tree library for non-blocking concurrent Common Lisp☆52Updated 4 years ago
- Last.fm API for Common Lisp☆16Updated 6 years ago
- CL type system implementation☆28Updated 8 months ago
- List manipulation library inspired by Haskell package Data.List☆34Updated 4 years ago
- ☆26Updated 2 years ago
- Environment protocol for Common Lisp compilers.☆35Updated 2 years ago
- Hygiene-compatible Lisp dialect embedded in CL☆21Updated 2 years ago
- An implementation of Scheme embedded in Common Lisp☆25Updated 14 years ago
- Lockless data structures for Common Lisp☆22Updated 5 months ago
- Minimal Perfect Hash-Table CL Implementation☆15Updated 7 years ago
- Read and write Numpy .npy and .npz files.☆17Updated 2 years ago
- generalized specializers work☆16Updated 8 years ago
- Common Lisp library for manipulating date/time objects at a higher level☆33Updated 5 months ago
- An event bus in Common Lisp.☆13Updated 6 years ago