Interactive, web-based visual math assistant
☆12Feb 17, 2026Updated 2 weeks ago
Alternatives and similar repositories for prooftoys
Users that are interested in prooftoys are comparing it to the libraries listed below
Sorting:
- ☆11Oct 31, 2021Updated 4 years ago
- An AP Computer Science A programming assignment for Mr. Simon's APCSA course at Lowell High School, San Francisco, USA☆11Jan 23, 2024Updated 2 years ago
- This is a full collection of all the main functions taught in EE2211. It can greatly speed up your speed when doing mid-term or final exa…☆18Sep 3, 2025Updated 6 months ago
- Spatially explicit plant growth simulation☆11Feb 25, 2026Updated last week
- ☆12Feb 18, 2024Updated 2 years ago
- PowerShell によって Windows10 のキッティングに必要な全工程を自動的に完了。☆12Jun 10, 2025Updated 8 months ago
- Factor Graph Framework for Distributed Machine and Reinforcement Learning☆10Apr 1, 2019Updated 6 years ago
- Dark theme fork☆11Apr 7, 2019Updated 6 years ago
- PityBoy is a fantasy console written in C++, inspired by the famous Gameboy☆17Oct 12, 2023Updated 2 years ago
- A conlang lexicon software made in Python☆13Aug 24, 2025Updated 6 months ago
- Building compilers for lexical analysis & parsing☆12Feb 20, 2022Updated 4 years ago
- InfluxDB v2.0☆12Apr 27, 2024Updated last year
- An experimental test runner for LookML models.☆11Sep 17, 2021Updated 4 years ago
- 「行動データの計算論モデリング」のサポートページです。☆11Mar 1, 2021Updated 5 years ago
- ☆10Feb 28, 2019Updated 7 years ago
- Type safe SQL query combinator in haskell☆10Jun 20, 2020Updated 5 years ago
- Command Line (CLI) Tool for the Markers (.mks) language made in Haskell.☆11Aug 19, 2025Updated 6 months ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 6 months ago
- ☆12May 22, 2016Updated 9 years ago
- A set of scripts to do nightly testing on Pantheon of the latest WordPress commits☆11Mar 8, 2022Updated 3 years ago
- 基于中心度的中文关键短语抽取工具☆11Sep 2, 2022Updated 3 years ago
- An Interactive Discrete Mathematics Framework for GAP☆10Updated this week
- A programming game sandbox inspired by CoreWar☆11Jun 4, 2024Updated last year
- The collected works of R. F. C. Walters☆13Nov 12, 2024Updated last year
- Forward messages to collaborators in East-oriented style.☆14Oct 18, 2025Updated 4 months ago
- Metalanguage analysis☆10Dec 10, 2018Updated 7 years ago
- React UI component library for aleph/followthemoney☆12Nov 22, 2022Updated 3 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- open-source Mandarian biased word dataset☆14Sep 21, 2023Updated 2 years ago
- Experiments in machine learning on graph databases☆14Feb 6, 2018Updated 8 years ago
- Metamath logic game☆10Apr 16, 2025Updated 10 months ago
- A GO Artificial Intelligence☆10Jul 18, 2016Updated 9 years ago
- Simple functional-ish language written in Kotlin☆22Aug 19, 2025Updated 6 months ago
- An implementation of CFR algorithm to solve Kuhn Poker.☆13Feb 6, 2020Updated 6 years ago
- Explaining category theory by example☆10Jun 30, 2017Updated 8 years ago
- Graphcore is a python library which allows you to query a computational graph structure backed by multiple databases, python functions an…☆11Jan 26, 2017Updated 9 years ago
- Responsive, gridded Instagram Feed☆13Jun 26, 2016Updated 9 years ago
- A comprehensive tutorial for the Idris2 programming language☆26Updated this week