Skip to content

Instantly share code, notes, and snippets.


Antonio Lima themiurgo

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 / index.html
Last active Sep 8, 2016
:P Language app that switches every day/week
View index.html
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<script type="text/javascript" src=""></script>
div.container-fluid {
width: 100%;
height: 50%;
position: relative;
View gist:7924417ab6e2a7a54bbc47deb8c2d80c
### Keybase proof
I hereby claim:
* I am themiurgo on github.
* I am themiurgo ( on keybase.
* I have a public key ASALFpBnQSBJmtUiWX4YKGct8fVYAYJTk8hJBUYG55dEwwo
To claim this, I am signing this object:
themiurgo /
Last active Apr 9, 2019 — forked from migurski/
Merge two or more geojson files.
#!/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.