mathlingua / mathlore-content
A repository of mathematical knowledge written in the Mathlingua language.
☆17Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for mathlore-content
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆68Updated last month
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated 5 months ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 3 years ago
- Leibniz - a Digital Scientific Notation☆34Updated 3 months ago
- Metamath verifier in Python☆34Updated 7 months ago
- Runtime and miner for the LODA language written in C++☆22Updated this week
- Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"☆14Updated 3 years ago
- 🦠 AD in less than 20 lines☆53Updated 3 years ago
- ☆22Updated 2 years ago
- Fiddling with Lindenmayer systems☆15Updated last year
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years ago
- Tree Notation Python Library☆14Updated last year
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆26Updated 2 years ago
- ☆53Updated 3 years ago
- [Mirror] A close reading of the μKanren paper.☆41Updated 2 years ago
- Just a small test to see which language is better for extending python when using lists of lists☆31Updated last year
- 1.2% test error on MNIST using only least squares and numpy calls.☆16Updated last year
- An automated approach to the Collatz conjecture☆13Updated last year
- Python S-expression emulation using tuple-like objects.☆21Updated 2 months ago
- Copies of prolog solvers for use from python☆14Updated 4 months ago
- 🌍🔥 Life Itself's ongoing inquiry into the climate crisis☆47Updated last year
- A simpler syntax for math typesetting written in go, converts to LaTeX math☆27Updated last year
- CLI tool for exploring arXiv (inspired by karpathy's brilliant ArXiv Sanity Preserver)☆38Updated 3 years ago
- Ruby script to convert Concepts SVG files into multiple PDF pages☆11Updated 2 years ago
- A [personal]<-[notebook]->[network]. Complete with custom numerics for constrained Gaussian gravitation physics.☆22Updated 2 years ago
- ☆46Updated 2 years ago
- Riffs on spreadsheets for manipulating JSON and building GUIs☆16Updated 4 years ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- High-Performance Klong array language in Python.☆120Updated 5 months ago