Alternatives and similar repositories for motion-grammar-kit:

Users that are interested in motion-grammar-kit are comparing it to the libraries listed below

• cl-model-languages / cl-sat
  Common Interface to Boolean Satisfiability Solvers from Common Lisp
  ☆14Updated 2 years ago
• nilqed / SNARK
  SNARK - SRI's New Automated Reasoning Kit
  ☆19Updated 8 years ago
• aig-upf / automated-programming-framework
  Automated Programming Framework
  ☆14Updated 4 years ago
• genworks / gendl
  Archive of old version, visit gendl.org for current version --- #gendl on libera.chat
  ☆57Updated 2 years ago
• nirlipo / ltl2pddl
  LTL2PDDL tool
  ☆9Updated 7 years ago
• ethagnawl / ecl-hello-r-lisp
  Embeddable Common-Lisp C-Interop Demo
  ☆14Updated 2 years ago
• melisgl / mgl-gpr
  MGL-GPR is a library of evolutionary algorithms such as Genetic Programming (evolving typed expressions from a set of operators and cons…
  ☆64Updated last year
• AI-Planning / lifted-pddl
  A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.
  ☆14Updated 6 months ago
• rpgoldman / pddl-tools
  Common lisp library for manipulating PDDL expressions.
  ☆14Updated this week
• potassco / plasp
  🗺️ ASP planning tools for PDDL
  ☆28Updated 3 years ago
• euslisp / EusLisp
  EusLisp is an integrated programming system for the research on intelligent robots based on Common Lisp and Object-Oriented programming. …
  ☆58Updated last month
• OdonataResearchLLC / weyl
  This repository contains an updated version of the Weyl computer algebra substrate from Cornell University. It is ASDF loadable, and uses…
  ☆47Updated 8 years ago
• Neronus / CL-CUDD
  Common lisp bindings to CUDD.
  ☆12Updated 7 years ago
• patrikhaslum / INVAL
  The INVAL plan validator, and other PDDL tools.
  ☆17Updated last year
• LAPKT-dev / LAPKT-public
  LAPKT public repository
  ☆40Updated 5 months ago
• marcoheisig / petalisp-for-python
  Petalisp for Python - a replacement for Numpy.
  ☆14Updated 5 years ago
• ros / roslisp
  Client library for writing ROS nodes in idiomatic Common Lisp
  ☆47Updated last year
• guicho271828 / latplan
  LatPlan : A domain-independent, image-based classical planner
  ☆85Updated 2 years ago
• aibasel / lab
  Lab is a framework for evaluating planners and other solvers.
  ☆33Updated 3 weeks ago
• IBM / pddlrl
  Reinforcement Learning for Classical Planning
  ☆11Updated 2 years ago
• hraban / cl-graph
  Common Lisp library for manipulating graphs and running graph algorithms
  ☆74Updated 10 months ago
• hlsyounes / mdpsim
  PPDDL plan evalutation simulator
  ☆14Updated 5 years ago
• numcl / constantfold
  User-defined constant folding facility
  ☆21Updated 5 years ago
• aindilis / financial-planning
  Your AI-Powered Personal Finance Assistant
  ☆12Updated last month
• bhaskara / programmable-reinforcement-learning
  Reinforcement learning algorithms constrained by a partial program
  ☆19Updated 13 years ago
• AI-Planning / autoscale-benchmarks
  STRIPS benchmarks for classical planning
  ☆13Updated 2 years ago
• briangu / OPS5
  OPS5 Production System
  ☆57Updated 11 years ago
• robert-strandh / Bootstrap-Common-Lisp
  An implementation of Common Lisp with the sole purpose of bootstrapping other implementations.
  ☆59Updated 3 years ago
• angavrilov / cl-simd
  SSE intrinsics implementation for ECL & SBCL
  ☆21Updated 8 years ago
• GrammaTech / cl-smt-lib
  Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams
  ☆18Updated 2 years ago