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 10 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
• 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…
  ☆34Updated 5 months ago
• thiagopbueno / tf-plan
  Planning through backpropagation using TensorFlow.
  ☆16Updated 5 years ago
• bgoonz / Data-Structures-Algos-Codebase
  ☆10Updated 3 years ago
• leaderfrank / Custom-Corona-Tracker-using-PHP
  ☆10Updated last year
• 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
• 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
• CAVIND46016 / Web-Scraping
  Contains the scripts for web scraping using 'beautifulsoup' and 'selenium'.
  ☆11Updated last year
• Ehtijad-Ali / PYTHON_TASKS
  ☆11Updated last year
• aig-upf / automated-programming-framework
  Automated Programming Framework
  ☆15Updated 5 years ago
• lifeparticle / MySQL-Snippets
  ⌗ Learn MySQL.
  ☆19Updated 8 months ago
• ctpelok77 / kstar
  ☆10Updated 2 years ago
• Jaidevstudio / Unique-Github-Profiles
  List of GitHub profiles that have awesome customization that you can use for inspiration.
  ☆19Updated 2 years ago
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆72Updated last year
• Ehtijad-Ali / Chatbot-Using-Python-and-NLTK
  ☆11Updated last year
• aig-upf / universal-pddl-parser
  An algorithm for parsing any planning problem in PDDL format
  ☆20Updated 2 years ago
• DillonZChen / goose
  Graph Learning for PDDL Planning
  ☆19Updated last month
• rocq-community / awesome-coq
  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
  ☆361Updated 2 months ago
• SatyendraBanjare / plt-formal-methods-resources
  Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…
  ☆62Updated 6 years ago
• Kurorororo / numeric-fast-downward
  ☆15Updated last year
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated this week
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆50Updated 2 weeks ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆58Updated last year
• NeVerTools / pyNeVer
  A Python library for learning and verification of neural networks and other machine learning models
  ☆14Updated last month
• ai4reason / Prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆53Updated last year
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated last year
• whitemech / lydia
  A tool for LDLf translation to DFA and for LDLf synthesis.
  ☆23Updated 2 years ago
• awslabs / typecart
  ☆22Updated 11 months ago
• CharlieGreenman / reason-oop-patterns
  GoF design patterns applied using Reason.
  ☆12Updated 2 years ago