geojsone
Streaming GeoJSON library
Description
A library for manipulating GeoJSON using a streaming parser. This is useful because GeoJSON can be gigabytes in size.
Install
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- Published
- 31 Oct 2022
- Authors
- Maintainers
Sources
geojson-0.1.0.tbz
sha256=5f3f909bcc028004694842f7397d5bc1f19fce4684619a9ccd2ebd2252d18feb
sha512=e3a6ef42983f336cf929bcd651216513e5e5ac1936fae6b320ecc39cd8398310e9e8170a26a765feb13fa4730792fc5eee14c672f373eeec7509fed0a67db11a
Dependencies
odoc
with-doc
eio
with-test & < "0.7"
eio
>= "0.6"
eio_main
>= "0.6" & with-test
ezjsonm
with-test
mdx
with-test
geojson
= version
dune
>= "2.9"
Reverse Dependencies