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
• 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
• 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…
  ☆35Updated 5 months 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 / CNN_IMAGE_CLASSIFICATION
  This is my first machine learning project
  ☆17Updated last year
• CAVIND46016 / Web-Scraping
  Contains the scripts for web scraping using 'beautifulsoup' and 'selenium'.
  ☆11Updated last year
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 5 years ago
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆395Updated this week
• automatarium / automatarium
  A place for automata
  ☆79Updated 3 weeks ago
• rocq-community / awesome-coq
  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
  ☆364Updated 3 weeks ago
• Ehtijad-Ali / PYTHON_TASKS
  ☆18Updated last year
• ccz181078 / Coq-BB5
  ☆350Updated 2 months ago
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆196Updated last week
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆244Updated last month
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆30Updated last year
• ai4reason / Prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆55Updated last year
• 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
• MaxRobinsonTheGreat / LifeEngine
  The Life Engine
  ☆533Updated last week
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆51Updated last year
• model-checking / rust-lean-models
  Lean models of Rust libraries
  ☆22Updated last year
• Ehtijad-Ali / Chatbot-Using-Python-and-NLTK
  ☆18Updated last year
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆146Updated last week
• ngoriyasjil / IthkuilGloss
  Discord glossing bot for Ithkuil IV
  ☆20Updated 2 years ago
• coal-rock / latex-tutor
  accelerate your knowledge of LaTeX
  ☆16Updated 9 months 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
• CharlieGreenman / reason-oop-patterns
  GoF design patterns applied using Reason.
  ☆12Updated 3 years ago
• arsalan0c / dafny-of-python
  A tool for deductive verification of Python programs based on Dafny
  ☆24Updated 4 years ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆175Updated 3 months ago