Skip to content

Instantly share code, notes, and snippets.

Avatar

Jerry Gagelman drjerry

  • New York City
View GitHub Profile
@drjerry
drjerry / Pipfile
Created Jan 3, 2020
Portable research environment
View Pipfile
[[source]]
name = "pypi"
url = "https://pypi.org/simple"
verify_ssl = true
[dev-packages]
[packages]
jupyter = "*"
numpy = "*"
@drjerry
drjerry / tab2json.awk
Created Aug 26, 2012
Converts stream of tabular records to stream of JSON records.
View tab2json.awk
{
if (NR == 1) {
split($0, tags);
if (EC == "") EC = "\"";
}
else {
split($0, vals);
jrec = "{";
for (i = 1; i <= NF; ++i) {
if (vals[i] ~ /[^0-9.]/)
You can’t perform that action at this time.