Alternatives and similar repositories for lazyslate:

Users that are interested in lazyslate are comparing it to the libraries listed below

• RAIRLab / Peirce-My-Heart
  A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
  ☆11Updated 2 weeks ago
• aig-upf / 2017-planning-with-simulators
  Online repository for the IJCAI 2017 paper "Purely Declarative Action Representations are Overrated: Classical Planning with Simulators"
  ☆10Updated 7 years ago
• leaderfrank / Custom-Corona-Tracker-using-PHP
  ☆10Updated 5 months ago
• aig-upf / automated-programming-framework
  Automated Programming Framework
  ☆14Updated 4 years ago
• thiagopbueno / tf-plan
  Planning through backpropagation using TensorFlow.
  ☆16Updated 4 years ago
• Hetari / iPhone15-pro-clone
  A iPhone 15 pro clone build with VueJS & TypeScript & Gsap & tresjs
  ☆11Updated 7 months ago
• Ehtijad-Ali / Chatbot-Using-Python-and-NLTK
  ☆12Updated 5 months ago
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆64Updated 10 months ago
• Ehtijad-Ali / PYTHON_TASKS
  ☆12Updated 5 months ago
• Kurorororo / numeric-fast-downward
  ☆12Updated 10 months ago
• aig-upf / universal-pddl-parser
  An algorithm for parsing any planning problem in PDDL format
  ☆19Updated 2 years ago
• IBM / kstar
  K* search based implementation of top-k and top-quality planners
  ☆15Updated 3 months ago
• MightyTechNinja / react-app-starter
  This is react starter project with javascript.
  ☆9Updated 7 months ago
• CharlieGreenman / reason-oop-patterns
  GoF design patterns applied using Reason.
  ☆11Updated 2 years ago
• ctpelok77 / kstar
  ☆9Updated last year
• Connor9994 / Tampermonkey-JS-Browser-Edits
  Full list of JS automation files
  ☆11Updated 5 months ago
• Ehtijad-Ali / PYTHON_DATA_TYPE_BASIC
  ☆17Updated 5 months ago
• KKK0525 / Cars
  ☆15Updated 5 months ago
• IBM / AMR-CSLogic
  A service that parses a sentence using AMR and returns a set of Verbnet logic predicates grounded with the roles of the input sentence.
  ☆12Updated 2 years ago
• AI-Planning / lifted-pddl
  A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.
  ☆14Updated 6 months ago
• xamidi / pmGenerator
  An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
  ☆19Updated last week
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆21Updated 8 months ago
• abcorrea / powerlifted
  Powerlifted Planner
  ☆29Updated last month
• hintikkasworld / hintikkasworld
  Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.
  ☆12Updated last year
• aig-upf / universal-pddl-parser-multiagent
  The multiagent extension for the PDDL parser
  ☆33Updated 5 years ago
• ilaspltd / ILASP-releases
  ☆37Updated 2 months ago
• ai4reason / Prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆44Updated 11 months ago
• thiagopbueno / pddlparser-pp
  Domain and problem PDDL parser in C/C++ using Flex & Bison.
  ☆13Updated 5 years ago
• filoscoder / react-hls-video-player
  Custom Hls Video Player for m3u8 streaming.
  ☆11Updated last week
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆29Updated 3 months ago