RAIRLab / Peirce-My-HeartView external linksLinks
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 11 months ago
- 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 2 weeks ago
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 6 years ago
- Contains the scripts for web scraping using 'beautifulsoup' and 'selenium'.☆12Dec 2, 2023Updated 2 years ago
- COM runtime support for SharpGen generated interop code.☆13Sep 9, 2021Updated 4 years ago
- ☆11Apr 1, 2024Updated last year
- DeV Tools - Swiss Army Knife of command line utilities☆13Sep 29, 2023Updated 2 years ago
- Script to retrieve the vertices and faces from a GOCAD TS file for use in python processing☆11Apr 16, 2021Updated 4 years ago
- A tool for writing Sauerbraten .ogz files (maps) using JavaScript.☆12Feb 3, 2025Updated last year
- Transliteration library for Scala and Scala.js☆10Sep 26, 2020Updated 5 years ago
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆11Jun 22, 2019Updated 6 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
- Integration of the planning system Fast Downward with the unified-planning framework.☆13Aug 5, 2025Updated 6 months ago
- A Rust library for Dota 2's Game State Integration.☆15Jan 15, 2026Updated 3 weeks ago
- Java stream library☆10Aug 3, 2024Updated last year
- A textbook centered around teaching mathematics to physicists and chemists☆12Feb 10, 2022Updated 4 years ago
- ☆10Mar 31, 2023Updated 2 years ago
- ☆10Aug 8, 2024Updated last year
- Browser Application that produces a list of most straddle combinations on SPY for the next x weeks/months☆13Oct 24, 2025Updated 3 months ago
- Native Jai port of the ENet Reliable UDP networking library☆13Feb 24, 2024Updated last year
- Looking at the problems associated with geoscience datasets for data science☆14Aug 18, 2023Updated 2 years ago
- A script to check metalink contents☆13Feb 14, 2020Updated 5 years ago
- ☆11May 26, 2022Updated 3 years 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 7 months ago
- Slides and some other stuff for my public talks☆11Nov 1, 2021Updated 4 years ago
- Financial data and computation for Finec MGIMO students.☆13Mar 16, 2023Updated 2 years ago
- An EC2 setup running Jenkins.☆15Nov 26, 2018Updated 7 years ago
- ☆18Aug 19, 2024Updated last year
- 💬 Tooltips with just CSS ~1kb☆12Sep 12, 2024Updated last year
- m'dots☆15Feb 5, 2026Updated last week
- A iPhone 15 pro clone build with VueJS & TypeScript & Gsap & tresjs☆14May 25, 2024Updated last year
- reboot of differential equations thing☆12Nov 29, 2015Updated 10 years ago
- A clean and customizable int and float slider widget for PyQt and PySide☆15Jun 23, 2024Updated last year
- A Windows optimization tool that automatically runs in the background of your device to routinely clean up Junk & improve performance, wi…☆12Nov 28, 2023Updated 2 years ago
- ☆12Aug 5, 2024Updated last year