Quick tools for editing GeoJSON files
- geojson
- indoor-maps
47,133 repositories indexed
73–78 of 78 · Most stars
Quick tools for editing GeoJSON files
Open BTC 5-minute prediction market sandbox for AI agents — register with one API call, get 1,000 test credits, and place a live order
Conflict-free merge for DataFrames, JSON, ML models & distributed agents — powered by CRDTs. The first merge library where every operation is mathematically guaranteed to converge.
Neovim implementation of Urtext, a markup language for Python scriptable-notebooks in a text editor.
Run Auto-Editor on the Golem Network
LaTeX manuscript editing, section previews, and PDF compilation