A calculator with a beautiful interface for the Terminal, Including unicode-based charting and rich mathematical notation rendering
A compositional geometric numeral system for base 16
MPL (Mathematics Programming Language) — write the equation, run the equation. A programming language built entirely from mathematical notation: culture-agnostic, English-free, readable by anyone who knows the math. Complete ANTLR parser proves the concept; interpreter and runtime are the frontier. Contributors wanted.
📐 Natural language explanations of Lean 4 theorems | MathJax 4.0 rendering • Batch processing • Mathematical notation | Formal verification accessibility
Kary Framework is a Cross Platform Textual User Interface Implementation Framework made of components for String Manipulation, Terminal Viewport Management and Terminal UI Widgets.
LaTeX and matlab files for this course
Write Python calculations that print as math PDFs.
A teenager's independent rediscovery of classical number theory theorems (2002-2007). Complete diary, analysis, and reflections.
To associate your repository with the mathematical-notation topic, visit your repo's landing page and select "manage topics."