A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
☆11Jan 5, 2025Updated last year
Alternatives and similar repositories for Peirce-My-Heart
Users that are interested in Peirce-My-Heart are comparing it to the libraries listed below
Sorting:
- An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.☆17Feb 3, 2024Updated 2 years ago
- ☆11Apr 14, 2023Updated 2 years ago
- accelerate your knowledge of LaTeX☆16Feb 28, 2025Updated last year
- Totally Not Malware is a superficially faithful recreation of the moe anime girl "malware" meme.☆16Oct 26, 2019Updated 6 years ago
- Project Gold ✨☆11Jan 29, 2026Updated last month
- Integration of the planning system Fast Downward with the unified-planning framework.☆13Aug 5, 2025Updated 7 months ago
- Script to retrieve the vertices and faces from a GOCAD TS file for use in python processing☆11Apr 16, 2021Updated 4 years ago
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆11Jun 22, 2019Updated 6 years ago
- Transliteration library for Scala and Scala.js☆11Sep 26, 2020Updated 5 years ago
- Java stream library☆10Aug 3, 2024Updated last year
- ☆10Aug 8, 2024Updated last year
- A tool for writing Sauerbraten .ogz files (maps) using JavaScript.☆12Feb 3, 2025Updated last year
- DeV Tools - Swiss Army Knife of command line utilities☆13Sep 29, 2023Updated 2 years ago
- Curated from repositories that make our lives as geoscientists, hackers and data wranglers easier or just more awesome☆13Oct 19, 2024Updated last year
- ☆11Apr 1, 2024Updated last year
- Contains the scripts for web scraping using 'beautifulsoup' and 'selenium'.☆12Dec 2, 2023Updated 2 years ago
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 6 years ago
- COM runtime support for SharpGen generated interop code.☆13Sep 9, 2021Updated 4 years ago
- ☆11Mar 31, 2023Updated 2 years ago
- A Rust library for Dota 2's Game State Integration.☆15Jan 15, 2026Updated last month
- A textbook centered around teaching mathematics to physicists and chemists☆12Feb 10, 2022Updated 4 years ago
- Browser Application that produces a list of most straddle combinations on SPY for the next x weeks/months☆13Oct 24, 2025Updated 4 months ago
- Automated Programming Framework☆15May 11, 2020Updated 5 years ago
- A framework that allows to use SignalR easy, following the strict contracts out of box.☆11Jun 25, 2025Updated 8 months ago
- Slides and some other stuff for my public talks☆11Nov 1, 2021Updated 4 years ago
- An EC2 setup running Jenkins.☆15Nov 26, 2018Updated 7 years ago
- A script to check metalink contents☆13Feb 14, 2020Updated 6 years ago
- Looking at the problems associated with geoscience datasets for data science☆14Aug 18, 2023Updated 2 years ago
- 💬 Tooltips with just CSS ~1kb☆12Sep 12, 2024Updated last year
- ☆18Aug 19, 2024Updated last year
- m'dots☆15Feb 5, 2026Updated last month
- Financial data and computation for Finec MGIMO students.☆13Mar 16, 2023Updated 2 years ago
- Native Jai port of the ENet Reliable UDP networking library☆12Feb 24, 2024Updated 2 years ago
- ☆11May 26, 2022Updated 3 years ago
- ☆12Aug 5, 2024Updated last year
- Online repository for the IJCAI 2017 paper "Purely Declarative Action Representations are Overrated: Classical Planning with Simulators"☆10Dec 5, 2017Updated 8 years ago
- GoF design patterns applied using Reason.☆13Nov 26, 2022Updated 3 years ago
- Mirror your new main branch to your old master branch (or mirror any branch A to any branch B)☆12Aug 15, 2024Updated last year
- A interactive and comprehensive guide and learning tool for DataStructures and Algorithms ... concentrated on JS but with some examples i…☆15Aug 23, 2022Updated 3 years ago