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
• coal-rock / latex-tutor
  accelerate your knowledge of LaTeX
  ☆16Updated last month
• 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
• leaderfrank / Custom-Corona-Tracker-using-PHP
  ☆10Updated 8 months ago
• jwest951227 / plantAI
  This project is an approach to the development of plant disease recognition model, based on leaf image classification, by the use of deep…
  ☆9Updated 11 months ago
• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆22Updated 4 years ago
• jbrkr / Category_Theory_Natural_Language_Processing_NLP
  List of papers and other resources at the intersection of Category Theory and NLP.
  ☆52Updated 2 years ago
• andrew-johnson-4 / LSTS
  Large Scale Type Systems (programming language)
  ☆121Updated 2 months ago
• DillonZChen / goose
  Graph Learning for Planning [AAAI-24, ICAPS-24, NeurIPS-24]
  ☆13Updated this week
• 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
• joshuaguerin / Answer-Set-Programming-Algorithms
  Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.
  ☆16Updated last year
• Ehtijad-Ali / Chatbot-Using-Python-and-NLTK
  ☆12Updated 8 months ago
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 4 years ago
• xamidi / github-followership-scammers
  My list of followership scammers on GitHub.
  ☆12Updated last month
• homotopy-io / homotopy-rs
  A Rust/WASM implementation of homotopy.io
  ☆96Updated this week
• emilyriehl / infinity-cosmos
  A blueprint for a formalization of infinity-cosmos theory in Lean.
  ☆58Updated last week
• ccz181078 / Coq-BB5
  ☆190Updated last week
• alexpatel / lean-modal
  modal logic library for LEAN theorem prover
  ☆11Updated 7 years ago
• blanchette / logical_verification_2022
  Logical Verification 2022-2023 course at VU Amsterdam
  ☆18Updated last year
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆45Updated this week
• Ehtijad-Ali / PYTHON_TASKS
  ☆12Updated 7 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆112Updated 5 months ago
• ai4reason / Prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆51Updated last year
• rocq-community / awesome-coq
  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
  ☆345Updated 3 months ago
• model-checking / rust-lean-models
  Lean models of Rust libraries
  ☆12Updated 7 months ago
• alcides / aeon
  Aeon programming language
  ☆14Updated last week
• discopy / discopy
  The Python toolkit for computing with string diagrams.
  ☆365Updated last week
• ngoriyasjil / IthkuilGloss
  Discord glossing bot for Ithkuil IV
  ☆19Updated last year
• leanprover / vscode-lean4
  Visual Studio Code extension for the Lean 4 proof assistant
  ☆203Updated this week
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆38Updated last year