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.
  ☆13Updated 7 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
• bgoonz / Data-Structures-Algos-Codebase
  ☆10Updated 3 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…
  ☆29Updated 3 months ago
• leaderfrank / Custom-Corona-Tracker-using-PHP
  ☆10Updated last year
• Hetari / iPhone15-pro-clone
  A iPhone 15 pro clone build with VueJS & TypeScript & Gsap & tresjs
  ☆12Updated last year
• Ehtijad-Ali / PYTHON_TASKS
  ☆11Updated last year
• 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
• thiagopbueno / tf-plan
  Planning through backpropagation using TensorFlow.
  ☆16Updated 4 years ago
• Ehtijad-Ali / Chatbot-Using-Python-and-NLTK
  ☆11Updated last year
• CAVIND46016 / Web-Scraping
  Contains the scripts for web scraping using 'beautifulsoup' and 'selenium'.
  ☆12Updated last year
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆49Updated this week
• aig-upf / universal-pddl-parser
  An algorithm for parsing any planning problem in PDDL format
  ☆20Updated 2 years ago
• CharlieGreenman / reason-oop-patterns
  GoF design patterns applied using Reason.
  ☆12Updated 2 years ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated last month
• johnyf / tool_lists
  Links to tools by subject
  ☆379Updated last year
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆236Updated 3 weeks ago
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆68Updated last year
• rocq-community / awesome-coq
  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
  ☆362Updated 2 weeks ago
• 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
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆63Updated 6 months ago
• ai4reason / Prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆52Updated last year
• DillonZChen / goose
  Graph Learning for PDDL Planning
  ☆16Updated last month
• VictorRaynor / Cars
  ☆13Updated last year
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 2 months ago
• ilaspltd / ILASP-releases
  ☆37Updated 9 months ago
• sr-lab / coqpyt
  Python client for coq-lsp
  ☆39Updated last month
• lifeparticle / MySQL-Snippets
  ⌗ Learn MySQL.
  ☆19Updated 6 months ago
• wo / tpg
  Tree Proof Generator
  ☆169Updated 6 months ago