mathematica
best-of-jupyter
Our great sponsors
mathematica | best-of-jupyter | |
---|---|---|
1 | 3 | |
25 | 829 | |
- | 4.0% | |
10.0 | 7.9 | |
over 1 year ago | 6 days ago | |
Lean | ||
- | Creative Commons Attribution Share Alike 4.0 |
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.
best-of-jupyter
-
Spreadsheet errors can have disastrous consequences – yet we keep making them
What are some Software Development methods for reducing errors:
1. AUTOMATED TESTS; test assertions
To write spreadsheet tests:
A. Write your own test assertion library for their macro language; write assertEqual() in VBscript and Apps Script.
B. Use another language with a test library and a test runner; e.g. Python and the `assert` keyword, unittest.TestCase().assertEqual() or pytest.
C. Test the spreadsheet GUI with something like AutoHotKey.
From https://news.ycombinator.com/item?id=35896192 :
> The Scientific Method is testing, so testing (tests, assertions, fixtures) should be core to any scientific workflow system.
> awesome-jupyter#testing: https://github.com/markusschanta/awesome-jupyter#testing
> ml-tooling/best-of-jupyter lists papermill/papermill under "Interactive Widgets/Visualization" https://github.com/ml-tooling/best-of-jupyter#interactive-wi...
- Mathics: A free, open-source alternative to Mathematica
-
[P] best-of-ml-python: A ranked list of awesome machine learning Python libraries
best-of-jupyter: Jupyter Notebook, Hub, and Lab projects.
What are some alternatives?
jupyter - Jupyter metapackage for installation, docs and chat
ocaml-jupyter - An OCaml kernel for Jupyter (IPython) notebook
mathquill - Easily type math in your webapp
docker-stacks - Ready-to-run Docker images containing Jupyter applications
microMathematics - microMathematics Plus - Extended visual calculator
best-of-generator - 🏆 Generates a ranked list of awesome libraries and tools.
WolframLanguageForJupyter - Wolfram Language kernel for Jupyter notebooks
ubelt - A Python utility library with a stdlib like feel and extra batteries. Paths, Progress, Dicts, Downloads, Caching, Hashing: ubelt makes it easy!
minecraft-pi-reborn - Official Mirror Of @TheBrokenRail's Minecraft: Pi Edition: Reborn.
mathlib - Lean 3's obsolete mathematical components library: please use mathlib4
best-of-web-python - 🏆 A ranked list of awesome python libraries for web development. Updated weekly.