“Nota is a language for writing documents, like academic papers and blog posts. The goal of Nota is to bring documents into the 21st century.” https://nota-lang.org/
“Apparatus is a hybrid graphics editor and programming environment for creating interactive diagrams.” http://aprt.us/
“A Visual Programming Environment for Scientific Computing”—python visual programming with plotting https://mathinspector.com/
“Hazel is a live functional programming environment that is able to typecheck, manipulate, and even run incomplete programs, i.e. programs with holes. There are no meaningless editor states.” https://hazel.org/
windows only agpl math::topology of 3d::topology? I think? idk. “Topologic is a software development kit and plug-in that enables logical, hierarchical and topological representation of spaces and entities” https://topologic.app/
ordinary stuff
“Convert images and PDFs to LaTeX, DOCX, Overleaf, Markdown, Excel, ChemDraw and more, with our AI powered document conversion technology.” https://mathpix.com/
“Gridpaste is an online math tool to share computations, transformations, and annotations on geometric structures in a coordinate plane.” https://gridpaste.io/
more tidbits that could be part of or inspiration for an interesting tool
idk
“The goal of
curvenote.devis to provide open source tools to promote and enable interactive scientific writing, reactive documents and explorable explanations. These tools are used and supported by curvenote.com, which is an interactive scientific writing platform that integrates to Jupyter.” https://curvenote.dev/“Nota is a language for writing documents, like academic papers and blog posts. The goal of Nota is to bring documents into the 21st century.” https://nota-lang.org/
“Apparatus is a hybrid graphics editor and programming environment for creating interactive diagrams.” http://aprt.us/
“A Visual Programming Environment for Scientific Computing”—python visual programming with plotting https://mathinspector.com/
notebook with builtin desmos and latex https://themathist.com/app
“Hazel is a live functional programming environment that is able to typecheck, manipulate, and even run incomplete programs, i.e. programs with holes. There are no meaningless editor states.” https://hazel.org/
windows only agpl math::topology of 3d::topology? I think? idk. “Topologic is a software development kit and plug-in that enables logical, hierarchical and topological representation of spaces and entities” https://topologic.app/
ordinary stuff
“Convert images and PDFs to LaTeX, DOCX, Overleaf, Markdown, Excel, ChemDraw and more, with our AI powered document conversion technology.” https://mathpix.com/
“Gridpaste is an online math tool to share computations, transformations, and annotations on geometric structures in a coordinate plane.” https://gridpaste.io/
react libs and such
https://flume.dev/
https://mafs.dev/
https://github.com/unconed/mathbox
more blogs
https://mlajtos.mu/posts/new-kind-of-paper-1
https://mlajtos.mu/posts/new-kind-of-paper-2
https://mlajtos.mu/posts/new-kind-of-paper-3
https://mlajtos.mu/posts/new-kind-of-paper-4
https://www.inkandswitch.com/inkbase/
https://www.lesswrong.com/posts/ky988ePJvCRhmCwGo/using-vector-fields-to-visualise-preferences-and-make-them
a dataset: https://wellecks.com/naturalproofs/