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
- Pluggable types for Common Lisp☆19Updated 2 years ago
- A simple directed graph implementation for Common Lisp.☆30Updated 2 years ago
- A library of conveniences for working with the Common Lisp SERIES package☆39Updated 6 years ago
- Supervisor trees (and some more) for Common Lisp☆21Updated 5 years ago
- An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp☆24Updated last year
- Generating and managing callbacks from C into Heaven (Lisp).☆12Updated 5 years ago
- prepl is a REPL implementation, also known as a Lisp listener☆14Updated 8 months ago
- Minimal Perfect Hash-Table CL Implementation☆15Updated 8 years ago
- ECL + IMGUI = IMCL☆18Updated 5 years ago
- Last.fm API for Common Lisp☆16Updated 6 years ago
- CL type system implementation☆28Updated 8 months ago
- Utilities for parsing Lisp code - previously known as cleavir-code-utilities☆10Updated 7 months ago
- Reactive computation tree library for non-blocking concurrent Common Lisp☆52Updated 4 years ago
- An event bus in Common Lisp.☆13Updated 6 years ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆16Updated 10 years ago
- An implementation of Scheme embedded in Common Lisp☆25Updated 14 years ago
- ☆26Updated 2 years ago
- A logic programming library for Common Lisp.☆64Updated 5 years ago
- Why write programs in Common Lisp but tests like Java? Meet CheckL!☆47Updated 7 years ago
- Common Interface to ISO Prolog implementations from Common Lisp☆39Updated 4 years ago
- Common Lisp bytecode compiler☆14Updated 2 months ago
- The BASIC-BINARY-IPC system provides an interface for performing inter process communication using IPv4 or local streams. The interface f…☆21Updated 4 years ago
- Hygiene-compatible Lisp dialect embedded in CL☆21Updated 2 years ago
- Common Lisp symbols separated into packages according to their purity☆32Updated 8 years ago
- Scheme to Common Lisp☆20Updated 2 years ago
- Lockless data structures for Common Lisp☆22Updated 6 months ago
- ☆11Updated 4 years ago
- CL persistent object storage☆33Updated last year