MathInspector
nbstripout
MathInspector | nbstripout | |
---|---|---|
4 | 4 | |
894 | 1,143 | |
- | - | |
0.0 | 7.6 | |
almost 3 years ago | about 1 month ago | |
Python | Python | |
GNU General Public License v3.0 only | GNU General Public License v3.0 or later |
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.
MathInspector
-
Native Type Theory
> I expect that mathematics will be rewritten to suit computing, rather than vice versa
I agree with this. I believe pure mathematics is suffering greatly because many mathematicians refuse to fully embrace the computational power of modern technology.
My belief is the age of pretty formulas is coming to an end, and that the future of mathematics will be it focuses more and more on computational aspects of the subject, and problem sets in pure math courses will be done using programs that are much more advanced than anything which exists today, and everyone will think nothing more of those programs than they we do about calculators.
Apologies for the self plug, but this has been my vision with mathinspector[1]. I've been working very hard on that, and this is why I got so interested in your statement. Thank you for clarifying your thinking here. Makes sense to me, and you could be right
[1] https://github.com/MathInspector/MathInspector
-
Math Inspector: A Visual Programming Environment for Scientific Computing
Thank you so much! Well I tried to make it work so that literally any project you have sitting on your system can be imported into the app. In principle it should work, in practice the amount of block code elements can quickly become overwhelming.
At the end of wrapping up the beta version, I was using math inspector to create math inspector, this is how I wrote the TextParser[1] class, and there is a certain beauty to the way the files were synchronized, but since everything was still in development I ended up doing a lot in Sublime instead and have not had a chance to keep working on that aspect.
I think the more the app gets dog-fooded in this way, the more clear it will become what the optimal UI/UX is. Math Inspector is not an IDE, but it does create an additional visual layer that is kind of helpful during development, especially for quick iteration.
[1] https://github.com/MathInspector/MathInspector/blob/master/m...
-
NumPy 1.20 Released
There is! I didn't build and codesign the linux build yet (just ran out of steam and needed a few days of rest), but I set up everything in a VM and got it working on my mac through x11.
If you follow the instructions in the Vagrantfile, it should hopefully be simple to install from the source code on your system.
https://github.com/MathInspector/MathInspector/blob/master/V...
nbstripout
-
Tips for using Jupyter Notebooks with GitHub
If you'd like to automatically remove empty / tagged cells or retroactively apply this filter to your git history, you can read the nbstripout documentation on GitHub.
-
Ask HN: Are there any good Diff tools for Jupyter Notebooks?
I used something as a precommit hook in the past that remove plots and other rendered content and only kept text and code in git index. I'm almost sure it was https://github.com/kynan/nbstripout but it's been a while and I could be wrong.
Once the hook was in place git diff worked well enough to not need any other diffing tool.
-
Notebooks suck: change my mind
As far as versioning, I use nbstripout (notebook strip out) I think there are alternatives too.
-
NumPy 1.20 Released
You can use it with source control, I do it for about 18 notebooks I use on a daily basis:
https://github.com/kynan/nbstripout
What are some alternatives?
mathlib - Lean 3's obsolete mathematical components library: please use mathlib4
vscode-jupyter - VS Code Jupyter extension
Pluto.jl - 🎈 Simple reactive notebooks for Julia
nbdime - Tools for diffing and merging of Jupyter notebooks.
clerk - ⚡️ Moldable Live Programming for Clojure
pluggy - A minimalist production ready plugin system
Jupyter Notebook (IPython) - Multi-user server for Jupyter notebooks
ploomber - The fastest ⚡️ way to build data pipelines. Develop iteratively, deploy anywhere. ☁️
ipython - Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.
jupytext - Jupyter Notebooks as Markdown Documents, Julia, Python or R scripts
jupyterlab-git - A Git extension for JupyterLab