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 last year
• aig-upf / 2017-planning-with-simulators
  Online repository for the IJCAI 2017 paper "Purely Declarative Action Representations are Overrated: Classical Planning with Simulators"
  ☆10Updated 8 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…
  ☆32Updated 8 months 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…
  ☆15Updated 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'.
  ☆12Updated 2 years ago
• Ehtijad-Ali / CNN_IMAGE_CLASSIFICATION
  This is my first machine learning project
  ☆17Updated last year
• Ehtijad-Ali / PYTHON_TASKS
  ☆18Updated last year
• alxkm / streamer
  Java stream library
  ☆10Updated last year
• Ehtijad-Ali / Chatbot-Using-Python-and-NLTK
  ☆18Updated last year
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆31Updated last year
• qwerty541 / qwerty541
  README for my Github Profile
  ☆13Updated 4 months ago
• Ehtijad-Ali / PYTHON_DATA_TYPE_BASIC
  ☆23Updated 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]
  ☆375Updated 3 months ago
• VictorRaynor / Cars
  ☆12Updated 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
• sr-lab / coqpyt
  Python client for coq-lsp
  ☆47Updated 2 months ago
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆264Updated last week
• aindilis / financial-planning
  Your AI-Powered Personal Finance Assistant
  ☆29Updated 6 months ago
• niklashenning / pyqt-advanced-slider
  A clean and customizable int and float slider widget for PyQt and PySide
  ☆15Updated last year
• santiagoxlopez / awesome-project-management
  a curated list of project management tools and things
  ☆28Updated last year
• leanprover-community / lean4web
  Lean web editor
  ☆129Updated last month
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆62Updated 2 months ago
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆24Updated 5 months ago
• beansource / awesome-orgs
  🥰 List of awesome GitHub organizations
  ☆25Updated last year
• potassco / plingo
  🍀 A system for probabilistic reasoning in clingo
  ☆20Updated last year
• Connor9994 / Straddle-Master-Stocks
  Browser Application that produces a list of most straddle combinations on SPY for the next x weeks/months
  ☆13Updated 3 months ago
• inspectit-labs / awesome-inspectit
  A curated list of awesome inspectIT documentations and resources.
  ☆25Updated 5 years ago