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 Propositional 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 8 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…
  ☆32Updated 7 months 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
• leaderfrank / Custom-Corona-Tracker-using-PHP
  ☆10Updated last year
• Ehtijad-Ali / CNN_IMAGE_CLASSIFICATION
  This is my first machine learning project
  ☆17Updated last year
• Ehtijad-Ali / PYTHON_TASKS
  ☆18Updated last year
• qwerty541 / qwerty541
  README for my Github Profile
  ☆13Updated 4 months ago
• Ehtijad-Ali / Chatbot-Using-Python-and-NLTK
  ☆18Updated 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
• VictorRaynor / Cars
  ☆12Updated last year
• CharlieGreenman / reason-oop-patterns
  GoF design patterns applied using Reason.
  ☆13Updated 3 years ago
• CAVIND46016 / Web-Scraping
  Contains the scripts for web scraping using 'beautifulsoup' and 'selenium'.
  ☆12Updated 2 years ago
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆460Updated this week
• rgjha / PhysicsBooks
  Collection of about 180 books in Physics (Advanced Level). See README for details.
  ☆25Updated 3 months ago
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 5 years ago
• alxkm / streamer
  Java stream library
  ☆10Updated 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
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆72Updated last month
• leanprover-community / lean4game
  Server to host lean games.
  ☆391Updated 2 weeks ago
• patrik-cihal / lean-graph
  Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.
  ☆37Updated last month
• ai4reason / Prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆58Updated 2 years ago
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆205Updated last week
• DillonZChen / goose
  Graph Learning for Planning
  ☆25Updated 3 weeks ago
• MichaelRawson / tptp
  Crate for reading TPTP files.
  ☆15Updated 3 years ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆62Updated 2 months ago
• xamidi / pmGenerator
  An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
  ☆23Updated last week
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆116Updated this week