Alternatives and similar repositories for motion-grammar-kit:

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

• nilqed / SNARK
  SNARK - SRI's New Automated Reasoning Kit
  ☆19Updated last week
• aig-upf / automated-programming-framework
  Automated Programming Framework
  ☆14Updated 4 years ago
• euslisp / EusLisp
  EusLisp is an integrated programming system for the research on intelligent robots based on Common Lisp and Object-Oriented programming. …
  ☆62Updated this week
• cl-model-languages / cl-sat
  Common Interface to Boolean Satisfiability Solvers from Common Lisp
  ☆14Updated 2 years ago
• genworks / gendl
  Archive of old version, visit gendl.org for current version --- #gendl on libera.chat
  ☆58Updated 2 years ago
• AI-Planning / lifted-pddl
  A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.
  ☆14Updated 7 months 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
• Neronus / CL-CUDD
  Common lisp bindings to CUDD.
  ☆12Updated 7 years ago
• potassco / plasp
  🗺️ ASP planning tools for PDDL
  ☆28Updated 3 years ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated 4 months ago
• ethagnawl / ecl-hello-r-lisp
  Embeddable Common-Lisp C-Interop Demo
  ☆14Updated 2 years ago
• nirlipo / ltl2pddl
  LTL2PDDL tool
  ☆9Updated 7 years ago
• logicmoo / programk
  Chatbot impls in Prolog
  ☆15Updated 3 years ago
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 4 months ago
• ros / roslisp
  Client library for writing ROS nodes in idiomatic Common Lisp
  ☆47Updated 2 years ago
• rpgoldman / pddl-tools
  Common lisp library for manipulating PDDL expressions.
  ☆14Updated last month
• stuhlmueller / cosh
  Dynamic programming inference by continuation hashing.
  ☆29Updated 9 years ago
• AI-Planning / autoscale-benchmarks
  STRIPS benchmarks for classical planning
  ☆13Updated 2 years ago
• SeijiKoide / SWCLOS
  Lisp-based OWL Full Processor on top of Common Lisp Object System (CLOS), See http://www-kasm.nii.ac.jp/~koide/SWCLOS2-en.htm
  ☆16Updated 5 years ago
• aindilis / financial-planning
  Your AI-Powered Personal Finance Assistant
  ☆14Updated 2 months ago
• whitemech / Plan4Past
  Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals
  ☆17Updated 5 months ago
• SWI-Prolog / packages-pengines
  Pengines: Prolog engines
  ☆12Updated 3 weeks ago
• sfahlman / scone
  ☆78Updated last year
• fm-polimi / zot
  The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)
  ☆10Updated 4 years ago
• ioannad / jeffrey
  Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.
  ☆26Updated 3 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated 2 years ago
• hhu-stups / specifications
  A collection of (public) specifications in different formalisms.
  ☆15Updated 11 months ago
• RobertSasak / Prolog-Planning-Library
  Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provi…
  ☆18Updated 3 years ago
• LAPKT-dev / LAPKT-public
  LAPKT public repository
  ☆40Updated 6 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆47Updated 4 months ago