mathlingua / mathlore-contentLinks
A repository of mathematical knowledge written in the Mathlingua language.
☆17Updated 6 months ago
Alternatives and similar repositories for mathlore-content
Users that are interested in mathlore-content are comparing it to the libraries listed below
Sorting:
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆69Updated 2 months ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated 11 months ago
- Leibniz - a Digital Scientific Notation☆34Updated last month
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆28Updated 2 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- Audible NP-Complete Problem☆22Updated 5 years ago
- Python S-expression emulation using tuple-like objects.☆22Updated 8 months ago
- Ruby script to convert Concepts SVG files into multiple PDF pages☆11Updated 3 years ago
- Source of metamath book☆48Updated last year
- A probabilistic approximate DNF counter☆37Updated last month
- Metamath verifier in Python☆39Updated last year
- A web app that lets you play musical scales according to math equations☆69Updated 3 years ago
- A Tensor Language☆55Updated 4 years ago
- 🦠 AD in less than 20 lines☆54Updated 3 years ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 4 years ago
- Tree Notation Python Library☆14Updated 2 years ago
- Jupyter notebooks for Dyalog APL☆43Updated last year
- Fiddling with Lindenmayer systems☆15Updated 2 years ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- Resources for making sense of topology and its concepts☆18Updated 4 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University☆17Updated 7 years ago
- ☆23Updated 3 years ago
- A quick starter kit to easily write and share your self-rendering mathematical notes and snippets☆13Updated 2 months ago
- Project to verify the Guy-Selfridge conjectures☆17Updated last week
- Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"☆15Updated 4 years ago
- Programming language for ternary computing☆30Updated 4 years ago
- A math language for dimensional analysis☆22Updated 2 years ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago