mathematica
microMathematics
Our great sponsors
mathematica | microMathematics | |
---|---|---|
1 | 10 | |
25 | 525 | |
- | - | |
10.0 | 0.0 | |
over 1 year ago | over 1 year ago | |
Lean | Java | |
- | 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.
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.
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)
What are some alternatives?
jupyter - Jupyter metapackage for installation, docs and chat
libqalculate - Qalculate! library and CLI
mathquill - Easily type math in your webapp
kalk - kalk is a powerful command line calculator app for developers.
WolframLanguageForJupyter - Wolfram Language kernel for Jupyter notebooks
ncalc - Power calculator for Android. Solve some problem algebra and calculus.
minecraft-pi-reborn - Official Mirror Of @TheBrokenRail's Minecraft: Pi Edition: Reborn.
kalk - Scientific calculator with math syntax that supports user-defined variables and functions, complex numbers, and estimation of derivatives and integrals
best-of-jupyter - 🏆 A ranked list of awesome Jupyter Notebook, Hub and Lab projects (extensions, kernels, tools). Updated weekly.
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.
mathlib - Lean 3's obsolete mathematical components library: please use mathlib4