golems / motion-grammar-kit
Formal Language Tools for Robots
☆13Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for motion-grammar-kit
- Common Interface to Boolean Satisfiability Solvers from Common Lisp☆14Updated 2 years ago
- LTL2PDDL tool☆10Updated 7 years ago
- Automated Programming Framework☆14Updated 4 years ago
- MGL-GPR is a library of evolutionary algorithms such as Genetic Programming (evolving typed expressions from a set of operators and cons…☆63Updated last year
- SNARK - SRI's New Automated Reasoning Kit☆19Updated 8 years ago
- 🗺️ ASP planning tools for PDDL☆28Updated 3 years ago
- LAPKT public repository☆40Updated 3 months ago
- Embeddable Common-Lisp C-Interop Demo☆14Updated 2 years ago
- EusLisp is an integrated programming system for the research on intelligent robots based on Common Lisp and Object-Oriented programming. …☆56Updated 7 months ago
- Specify and synthesize systems using symbolic algorithms☆46Updated 3 weeks ago
- Chatbot impls in Prolog☆15Updated 2 years ago
- Archive of old version, visit gendl.org for current version --- #gendl on libera.chat☆57Updated last year
- Common lisp bindings to CUDD.☆12Updated 6 years ago
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Updated 3 years ago
- Reinforcement Learning for Classical Planning☆11Updated 2 years ago
- Dynamic programming inference by continuation hashing.☆29Updated 9 years ago
- This repository contains an updated version of the Weyl computer algebra substrate from Cornell University. It is ASDF loadable, and uses…☆47Updated 7 years ago
- Common lisp library for manipulating PDDL expressions.☆13Updated 4 months ago
- OPS5 Production System☆54Updated 11 years ago
- The INVAL plan validator, and other PDDL tools.☆17Updated 11 months ago
- A collection of (public) specifications in different formalisms.☆15Updated 8 months ago
- ☆76Updated last year
- Client library for writing ROS nodes in idiomatic Common Lisp☆46Updated last year
- Lab is a framework for evaluating planners and other solvers.☆31Updated this week
- Yet Another Classical planning plan validator written in modern Common Lisp☆11Updated 3 years ago
- A Task-Motion Planning Framework☆48Updated 3 years ago
- CL compiler macro utilities.☆65Updated 4 years ago
- PDDL+ planning through compilation to SMT☆44Updated last year
- ☆23Updated 11 months ago
- LatPlan : A domain-independent, image-based classical planner☆85Updated 2 years ago