Skip to content

Instantly share code, notes, and snippets.

🎯
Focusing

Antonio Lima themiurgo

🎯
Focusing
Block or report user

Report or block themiurgo

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
@themiurgo
themiurgo / merge-geojsons.py
Last active Apr 9, 2019 — forked from migurski/merge-geojsons.py
Merge two or more geojson files.
View merge-geojsons.py
#!/usr/bin/env python
from json import load, JSONEncoder
from argparse import ArgumentParser, FileType
from re import compile
import sys
float_pat = compile(r'^-?\d+\.\d+(e-?\d+)?$')
charfloat_pat = compile(r'^[\[,\,]-?\d+\.\d+(e-?\d+)?$')
You can’t perform that action at this time.