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.
  ☆17Updated 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 7 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
• 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
• 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
• leaderfrank / Custom-Corona-Tracker-using-PHP
  ☆10Updated last year
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 5 years ago
• b-mehta / formalising-mathematics-notes
  Course notes for Formalising Mathematics 2025
  ☆70Updated 3 months ago
• MichaelRawson / tptp
  Crate for reading TPTP files.
  ☆15Updated 3 years ago
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆364Updated this week
• rocq-community / awesome-coq
  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
  ☆361Updated 2 months 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
• potassco / clinguin
  🐧 Clingo Interactive UI
  ☆28Updated last week
• typedb / typedb-awesome
  A curated list of awesome TypeDB frameworks libraries, software and resources.
  ☆71Updated 11 months ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆172Updated last month
• leanprover-community / NNG4
  Natural Number Game
  ☆230Updated 3 weeks ago
• ebraminio / awesome-qsharp
  A curated list of Q# code and resources.
  ☆173Updated 3 years ago
• Ehtijad-Ali / PYTHON_TASKS
  ☆11Updated last year
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆30Updated last year
• potassco / clorm
  🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
  ☆59Updated 2 months ago
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆213Updated this week
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆237Updated 2 weeks ago
• DillonZChen / goose
  Graph Learning for PDDL Planning
  ☆17Updated 2 weeks ago
• DeMaCS-UNICAL / I-DLV
  The new intelligent grounder of the logic-based Artificial Intelligence system DLV
  ☆23Updated last year
• CLLKazan / OntoMathPro
  This ontology is a Linked Data Hub for mathematics
  ☆63Updated last year
• automatarium / automatarium
  A place for automata
  ☆78Updated last week
• leanprover-community / batteries
  The "batteries included" extended library for the Lean programming language and theorem prover
  ☆333Updated this week
• ncatlab / nlab
  Source code for the nLab
  ☆188Updated 7 months ago
• IPK-BIT / odrl-builder
  ☆12Updated 9 months ago
• Paper-Proof / paperproof
  Lean theorem proving interface which feels like pen-and-paper proofs.
  ☆461Updated 2 months ago