Alternatives and similar repositories for Peirce-My-Heart

Users that are interested in Peirce-My-Heart are comparing it to the libraries listed below

• RAIRLab / lazyslate
  An open source graphical proof construction assistant for the creation of Natural Deduction proofs.
  ☆19Updated 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…
  ☆29Updated 3 months 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
• 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 / Data-Structures-Algos-Codebase
  ☆10Updated 3 years ago
• leaderfrank / Custom-Corona-Tracker-using-PHP
  ☆10Updated 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
• Ehtijad-Ali / PYTHON_TASKS
  ☆11Updated last year
• Hetari / iPhone15-pro-clone
  A iPhone 15 pro clone build with VueJS & TypeScript & Gsap & tresjs
  ☆12Updated last year
• Ehtijad-Ali / Chatbot-Using-Python-and-NLTK
  ☆11Updated last year
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆236Updated 3 weeks ago
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆30Updated 10 months ago
• wo / tpg
  Tree Proof Generator
  ☆169Updated 6 months ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆49Updated this week
• 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
• sr-lab / coqpyt
  Python client for coq-lsp
  ☆39Updated last month
• ilaspltd / ILASP-releases
  ☆37Updated 9 months ago
• discopy / discopy
  The Python toolkit for computing with string diagrams.
  ☆384Updated 3 months ago
• lifeparticle / MySQL-Snippets
  ⌗ Learn MySQL.
  ☆19Updated 6 months ago
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆431Updated last week
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆68Updated last year
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 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.
  ☆52Updated last year
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated 3 weeks ago
• ebraminio / awesome-qsharp
  A curated list of Q# code and resources.
  ☆171Updated 3 years ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated last month
• 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
• johnyf / tool_lists
  Links to tools by subject
  ☆379Updated last year
• ncatlab / nlab
  Source code for the nLab
  ☆183Updated 5 months ago