jjarfi/geojson2dem
0
Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference
GeoJSON to DEM Converter
A web application to convert GeoJSON point data to Digital Elevation Model (DEM) raster files.
Features
- Convert GeoJSON point data to DEM
- Automatic elevation column detection
- Adjustable resolution settings
- Preview visualization
- GeoTIFF output format
How to Use
- Upload a GeoJSON file containing point features
- Select elevation column or use auto-detection
- Adjust the resolution as needed
- Click "Process Conversion"
- Download the resulting DEM file
Requirements
- GeoJSON file with Point geometries
- Must contain numeric elevation values
- Recommended file size: < 5MB
Output Format
- GeoTIFF (.tif) with WGS84 (EPSG:4326) coordinate system
- Can be opened in QGIS, ArcGIS, or other GIS software
Technical Details
- Built with Gradio for the web interface
- Uses Rasterio for DEM creation
- Geopandas for spatial data handling
- Runs on Hugging Face Spaces
