mathlingua / mathlore-contentLinks
A repository of mathematical knowledge written in the Mathlingua language.
☆17Updated last year
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…☆71Updated 10 months ago
- 🦠 AD in less than 20 lines☆54Updated 4 years ago
- Ruby script to convert Concepts SVG files into multiple PDF pages☆11Updated 3 years ago
- Audible NP-Complete Problem☆22Updated 6 years ago
- Fiddling with Lindenmayer systems☆15Updated 2 years ago
- Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"☆15Updated 5 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- Terminal CLI to Mathics3☆60Updated last month
- Python S-expression emulation using tuple-like objects.☆25Updated 3 months ago
- JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University☆18Updated 8 years ago
- A [personal]<-[notebook]->[network]. Complete with custom numerics for constrained Gaussian gravitation physics.☆23Updated 3 years ago
- Tree Notation Python Library☆15Updated 3 years ago
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆64Updated 2 years ago
- Leibniz - a Digital Scientific Notation☆36Updated 9 months ago
- A probabilistic approximate DNF counter☆39Updated 2 months ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated last year
- A Tensor Language☆55Updated 4 years ago
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- 🌍🔥 Life Itself's ongoing inquiry into the climate crisis☆47Updated 2 years ago
- What if Git worked with Programming Languages?☆100Updated 4 years ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated last year
- Brzozowski derivative python sketch☆86Updated 9 months ago
- ☆18Updated 5 years ago
- Rewriting Principia Mathematica in Lean☆136Updated last week
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆31Updated 3 years ago
- Autoregressive transformers in APL☆107Updated 4 months ago
- Fungrim: the Mathematical Functions Grimoire☆124Updated 3 years ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆75Updated 6 months ago
- Define your own cellular automata in browser.☆45Updated 3 years ago
- Just a small test to see which language is better for extending python when using lists of lists☆32Updated 2 years ago