Math Inspector: A Visual Programming Environment for Scientific Computing

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com

Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
  • MathInspector

    A visual programing environment for scientific computing with python

    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...

  • mathlib

    Lean 3's obsolete mathematical components library: please use mathlib4

    I would be interested in something like this to visualize and inspect the structure of proofs, for example those contained in the Lean mathematical components library https://github.com/leanprover-community/mathlib

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts