I've used Leaflet.js before...at my last job. We had a JSON file that held the longitude and latitude. It was generated using C# code.
I'm following this example https://asmaloney.com/2014/01/code/creating-an-interactive-map-with-leaflet-and-openstreetmap/
In our database, we have a list of addresses. How can I generate a JSON file of those addresses? In the link above, it's in "The JSON Data" section of the site. How is that file generated?