mathlingua / mathlore-contentLinks
A repository of mathematical knowledge written in the Mathlingua language.
☆17Updated 9 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…☆70Updated 6 months ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated last year
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆66Updated last month
- Leibniz - a Digital Scientific Notation☆36Updated 5 months ago
- Audible NP-Complete Problem☆22Updated 5 years ago
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- Autoregressive transformers in APL☆106Updated last week
- 🦠 AD in less than 20 lines☆54Updated 4 years ago
- Terminal CLI to Mathics3☆60Updated 2 weeks ago
- P.D. Magnus' forallx logic textbook☆67Updated 5 months ago
- Ruby script to convert Concepts SVG files into multiple PDF pages☆11Updated 3 years ago
- ☆53Updated 3 weeks ago
- A quick starter kit to easily write and share your self-rendering mathematical notes and snippets☆16Updated 5 months ago
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆28Updated 2 years ago
- What if Git worked with Programming Languages?☆99Updated 3 years ago
- Docker setup for to tie together a number of mathics libraries, and components: Mathics3, mathicsscript, Mathics-Django, etc. This is use…☆30Updated this week
- 🌍🔥 Life Itself's ongoing inquiry into the climate crisis☆47Updated 2 years ago
- Metamath verifier in Python☆40Updated 3 months ago
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- Tree Notation Python Library☆14Updated 2 years ago
- Just a small test to see which language is better for extending python when using lists of lists☆31Updated 2 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆135Updated 3 months ago
- Brzozowski derivative python sketch☆85Updated 5 months ago
- Fiddling with Lindenmayer systems☆15Updated 2 years ago
- A toy Wolfram language interpreter.☆35Updated 10 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆37Updated 2 years ago
- A Tensor Language☆55Updated 4 years ago
- Reader to enable embedding images in source files as text☆22Updated 8 months ago