Wolfram|Alpha: Making the world’s knowledge computable
Outils scientifiques
Cytoscape.js
Vampire
About — Lean
Desmos | Beautiful free math.
TeXeR
Pluto.jl — interactive Julia programming environment
kirelabs.org - Projects and experiments in software engineering by Daniel Kirsch
EquatIO mathspace
Mathcha - Online Math Editor
Mathpix: Document cloud for research.