MathInspector
Pluto.jl
MathInspector | Pluto.jl | |
---|---|---|
4 | 78 | |
894 | 4,871 | |
- | - | |
0.0 | 9.5 | |
almost 3 years ago | 8 days ago | |
Python | JavaScript | |
GNU General Public License v3.0 only | MIT License |
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...
Pluto.jl
-
Potential of the Julia programming language for high energy physics computing
I thought that notebook based development and package based development were diametrically opposed in the past, but Pluto.jl notebooks have changed my mind about this.
A Pluto.jl notebook is a human readable Julia source file. The Pluto.jl package is itself developed via Pluto.jl notebooks.
https://github.com/fonsp/Pluto.jl
Also, the VSCode Julia plugin tooling has really expanded in functionality and usability for me in the past year. The integrated debugging took some work to setup, but is fast enough to drop into a local frame.
https://code.visualstudio.com/docs/languages/julia
Julia is the first language I have achieved full life cycle integration between exploratory code to sharable package. It even runs quite well on my Android. 2023 is the first year I was able to solve a differential equation or render a 3D surface from a calculated mesh with the hardware in my pocket.
- Pluto.jl: Simple, reactive programming environment for Julia
-
Ask HN: Why don't other languages have Jupyter style notebooks?
Re Julia there is also pluto.jl that is another notebook-like environment for julia. It's been a few years since I played with it but it looked cool, for example it handles state differently so you don't get into the same messes as with ipython notebooks. https://plutojl.org/
- Pluto: Simple Reactive Notebooks for Julia
-
Looking for a Julia gui framework with a demo like EGUI
For this, Notebooks are often used. Julia offers a uniquely nice and interactive Pluto notebook for the web https://github.com/fonsp/Pluto.jl
- Excel Labs, a Microsoft Garage Project
-
IPyflow: Reactive Python Notebooks in Jupyter(Lab)
I believe this is what Pluto sets out to do for Julia.
I used it as part of the “Computational Thinking” with Julia course a year or two back. Even then the beta software was very good and some of the demos the Pluto dev showed were nothing short of amazing
https://plutojl.org/
- For Julia is there some thing like VSCode's python interactive window?
-
What have you "washed your hands of" in Python?
I think what you want is Pluto!
-
Show HN: Out of order execution in Jupyter notebooks is a solved problem
I like how Pluto.jl handles this:
> Pluto offers an environment where changed code takes effect instantly and where deleted code leaves no trace. Unlike Jupyter or Matlab, there is no mutable workspace, but rather, an important guarantee:
> At any instant, the program state is completely described by the code you see.
[1] https://github.com/fonsp/Pluto.jl
What are some alternatives?
mathlib - Lean 3's obsolete mathematical components library: please use mathlib4
vim-slime - A vim plugin to give you some slime. (Emacs)
rmarkdown - Dynamic Documents for R
Weave.jl - Scientific reports/literate programming for Julia
Dash.jl - Dash for Julia - A Julia interface to the Dash ecosystem for creating analytic web applications in Julia. No JavaScript required.
IJulia.jl - Julia kernel for Jupyter
Tables.jl - An interface for tables in Julia
PlutoSliderServer.jl - Web server to run just the `@bind` parts of a Pluto.jl notebook
Neptune.jl - Simple (Pluto-based) non-reactive notebooks for Julia
julia - The Julia Programming Language
jupyterlab-classic - JupyterLab distribution with a retro look and feel 🌅
ThreadsX.jl - Parallelized Base functions