Interactive, web-based visual math assistant
☆15Apr 2, 2026Updated 7 months ago
Alternatives and similar repositories for prooftoys
Users that are interested in prooftoys are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Oct 31, 2021Updated 5 years ago
- UI infrastructure & framework for Pharo.☆17Updated this week
- 2020 Documentation Repo☆11Oct 25, 2026Updated last week
- A port of Box2D Lite to Pharo Smalltalk☆14May 10, 2020Updated 6 years ago
- What if interfacing with computing artifacts felt like your mental models had come alive?☆13Sep 1, 2026Updated 2 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆11Dec 15, 2018Updated 7 years ago
- VMs on your Ubuntu Touch device☆12May 25, 2026Updated 5 months ago
- ☆17Jun 30, 2026Updated 4 months ago
- A programming game sandbox inspired by CoreWar☆11Jun 4, 2024Updated 2 years ago
- Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath tha…☆26Updated this week
- ☆11Oct 1, 2020Updated 6 years ago
- PowerShell によって Windows10 のキッティングに必要な全工程を自動的に完了。☆12Jun 10, 2025Updated last year
- Pharo Ethereum Driver☆20Sep 12, 2019Updated 7 years ago
- CS1 through Type Theory☆17Jan 4, 2017Updated 9 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Lean4 bindings for raylib☆29Aug 3, 2026Updated 2 months ago
- PTM (Programmable Tile Machine) is a "pseudo-8-bit fantasy computer" that you can program using a built-in programming language called PT…☆16Jul 16, 2026Updated 3 months ago
- personal interview prep materials.☆40Oct 1, 2026Updated last month
- Sparta is a canvas on top of Skia.☆33Oct 10, 2026Updated 3 weeks ago
- 「行動データの計算論モデリング」のサポートページです。☆11Mar 1, 2021Updated 5 years ago
- A script for installing custom patches in Ubuntu Touch devices.☆11Oct 7, 2025Updated last year
- A repository of mathematical knowledge written in the Mathlingua language.☆17Nov 21, 2024Updated last year
- Visual Studio Code extension to run batch files in the terminal☆13Jun 28, 2026Updated 4 months ago
- An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.☆29Aug 7, 2026Updated 2 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- CORMAS (COmmon pool Ressources and Multi-Agent Simulations)☆34Oct 19, 2026Updated 2 weeks ago
- The Rocq Prover Website☆15Updated this week
- Sample SWI-Prolog server with JavaScript client☆13Nov 30, 2023Updated 2 years ago
- Geometry in Coq for French high school [maintainer=@thery]☆21Jul 13, 2024Updated 2 years ago
- Implementation of higher-order logic in Python☆68Feb 25, 2023Updated 3 years ago
- ☆10May 21, 2017Updated 9 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- Collection of dark styles for Matplotlib☆13Jul 3, 2020Updated 6 years ago
- 基于中心度的中文关键短语抽取工具☆11Sep 2, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A powerful text cleaner for Japanese web texts☆12Jan 20, 2024Updated 2 years ago
- ☆10Oct 20, 2026Updated last week
- open-source Mandarian biased word dataset☆14Sep 21, 2023Updated 3 years ago
- An API wrapper for Discord written in Pharo☆32Mar 7, 2022Updated 4 years ago
- Untyped Multistack Concatenative Calculus☆11Feb 25, 2022Updated 4 years ago
- Historical Bell Labs ratfor code. Plus an attempt to modernize it.☆22Dec 12, 2021Updated 4 years ago
- Port of the code from Typing Haskell in Haskell to Rust☆13Nov 10, 2013Updated 12 years ago