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 9 months 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
• bgoonz / DS-ALGO-OFFICIAL
  A interactive and comprehensive guide and learning tool for DataStructures and Algorithms ... concentrated on JS but with some examples i…
  ☆14Updated 3 years ago
• thiagopbueno / tf-plan
  Planning through backpropagation using TensorFlow.
  ☆16Updated 4 years ago
• leaderfrank / Custom-Corona-Tracker-using-PHP
  ☆10Updated last year
• MatteoMgr2008 / Arduino-ROBOTICA-E-AI
  In questa repository sono presenti diversi esempi di progetti Arduino (da quelli più semplici e basici a quelli più complessi e divertent…
  ☆30Updated 4 months ago
• bralani / icon22-23
  Software di gestione degli incroci semaforici sfruttando tecnologie di intelligenza artificiale per il corso di ingegneria della conoscen…
  ☆13Updated 2 years ago
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆71Updated last year
• Ehtijad-Ali / PYTHON_TASKS
  ☆11Updated last year
• CAVIND46016 / Web-Scraping
  Contains the scripts for web scraping using 'beautifulsoup' and 'selenium'.
  ☆11Updated last year
• DillonZChen / goose
  Graph Learning for PDDL Planning
  ☆17Updated 2 weeks ago
• jbrkr / Category_Theory_Natural_Language_Processing_NLP
  List of papers and other resources at the intersection of Category Theory and NLP.
  ☆54Updated 2 years ago
• Ehtijad-Ali / Chatbot-Using-Python-and-NLTK
  ☆11Updated last year
• openETCS / toolchain
  WP7: Top Level Project for the toolchain
  ☆27Updated 9 years ago
• Kurorororo / numeric-fast-downward
  ☆15Updated last year
• aig-upf / automated-programming-framework
  Automated Programming Framework
  ☆15Updated 5 years ago
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆237Updated 2 weeks ago
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆30Updated last year
• beansource / awesome-orgs
  🥰 List of awesome GitHub organizations
  ☆25Updated last year
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated 2 months ago
• DeMaCS-UNICAL / I-DLV
  The new intelligent grounder of the logic-based Artificial Intelligence system DLV
  ☆23Updated last year
• VictorRaynor / Instor
  The Furniture Organizer App is a MERN-based web app designed to help users organize their furniture by size categories: small, medium, an…
  ☆16Updated last year
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 5 years ago
• rocq-community / awesome-coq
  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
  ☆361Updated 2 months ago
• JanWielemaker / sCASP
  top-down interpreter for ASP programs with constraints
  ☆18Updated 3 years ago
• aig-upf / universal-pddl-parser
  An algorithm for parsing any planning problem in PDDL format
  ☆20Updated 2 years ago
• inspectit-labs / awesome-inspectit
  A curated list of awesome inspectIT documentations and resources.
  ☆23Updated 4 years ago
• potassco / clorm
  🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
  ☆59Updated 2 months ago
• typedb / typedb-awesome
  A curated list of awesome TypeDB frameworks libraries, software and resources.
  ☆71Updated 11 months ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆50Updated 2 weeks ago