microMathematics
mathematica
microMathematics | mathematica | |
---|---|---|
10 | 1 | |
525 | 25 | |
- | - | |
0.0 | 10.0 | |
over 1 year ago | over 1 year ago | |
Java | Lean | |
GNU General Public License v3.0 only | - |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
microMathematics
- microMathematics Plus – an extended visual calculator
- Mathics: A free, open-source alternative to Mathematica
-
⟳ 2 apps added, 51 updated at f-droid.org
microMathematics Plus (version 2.22.1): Computer algebra system
-
Looking for a mathematical note taking app
microMathematics, paid on Google Play, but free on F-Droid
- MicroMathematics Plus: Powerful Spreadsheet Oriented Calculator for Android
-
A calculator app that doesn't pretend to be stupid.
For people looking for something more advanced, try microMathematics.
- Does anyone know of a good field levelling phone app?
- Interactive Linear Algebra Text Book
- Show HN: Kalk, A calculator with math syntax, complex numbers, etc. (Rust, WASM)
- MICROMATHEMATICS PLUS (ANDROID)
mathematica
-
Mathics: A free, open-source alternative to Mathematica
The existence of https://github.com/robertylewis/mathematica makes me think it's more likely to go in the other direction, where you treat powerful tools as untrusted oracles which produce certificates that Lean then verifies.
What are some alternatives?
libqalculate - Qalculate! library and CLI
jupyter - Jupyter metapackage for installation, docs and chat
kalk - kalk is a powerful command line calculator app for developers.
mathquill - Easily type math in your webapp
ncalc - Power calculator for Android. Solve some problem algebra and calculus.
WolframLanguageForJupyter - Wolfram Language kernel for Jupyter notebooks
kalk - Scientific calculator with math syntax that supports user-defined variables and functions, complex numbers, and estimation of derivatives and integrals
minecraft-pi-reborn - Official Mirror Of @TheBrokenRail's Minecraft: Pi Edition: Reborn.
roman-arabic-calculator - This code is a proof of concept. The calculator can work with both Arabic (1,2,3,4,5 ...) and Roman (I, II, III, IV, V ...) numbers.
best-of-jupyter - 🏆 A ranked list of awesome Jupyter Notebook, Hub and Lab projects (extensions, kernels, tools). Updated weekly.
mathlib - Lean 3's obsolete mathematical components library: please use mathlib4