Skip to content

Instantly share code, notes, and snippets.

Thomas Schoffelen tschoffelen

Block or report user

Report or block tschoffelen

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
slorber / react-navigation-tree.jsx
Last active Feb 18, 2020
View react-navigation-tree.jsx
const App = createAppContainer(
LoggedSwitch: createSwitch({
// When user is authenticated
LoggedIn: createStack({
// The logged in root is generally a tab or drawer navigator
LoggedInRoot: createTabsOrDrawer({
felipetavares / simple_useful_slow.js
Last active Aug 12, 2019
Simple, Useful and Slow: Assorted Reference Statistics Functions (utf-8)
View simple_useful_slow.js
// Simple, Useful and Slow
// Assorted Reference Statistics Functions
// UTF-8 Edition
// Shorthands
pow = Math.pow
sqrt = Math.sqrt
pi = Math.PI
mndrix / sms.go
Last active Nov 5, 2018
SMS over IRC
View sms.go
// A proxy for sending/receiving SMS via IRC
// This code is part of our family IRC server whose code is available at
// This file won't compile by itself because it's only one file from
// my larger family server (movie hosting, Asterisk dialplan, Git
// hosting, personal assistant, etc).
// Copyright 2018 Michael Hendricks
JoshOrndorff / pi.k
Last active Jun 5, 2018
My work-in-progress pi-calculus in k framework
View pi.k
module PI-SYNTAX
imports DOMAINS
// Processes
syntax Proc ::= Norm // Normal processes are still processes
| Proc "|" Proc // Parallel
| "!" Proc // Replication
| "(" "v" Id ")" Proc // New name
| "(" Proc ")" // Allow parens for grouping
so0k /
Created Mar 1, 2018
Alpine curl issues

To fix /usr/bin/curl: curl_mime_type: symbol not found Errors when trying to run curl in a running alpine pod.

Right solution: Update base alpine image because this is a bigger issue

Quick fix: run Alpine system upgrade (or upgrade libcurl package specifically):

apk update
apk upgrade
gka / plot.png
Last active Mar 23, 2020
visualize git logs accross multiple repositories
davidnormo /
Last active Mar 31, 2016
npm global export import

The following command will give you a string of all the npm packages and their versions that are currenctly globally installed.
Note: that this ignores packages installed from directories and picks only those installed via the npm registry.

$ npm ls -g --depth 0 | sed -e '1d' -e 's/└── //g' -e 's/├── //g' -e '/^.*->.*$/d' -e '/^$/d' | tr '\n' ' '

If you copy this string, you can then append it to the end of npm install -g to install all of the packages.

rauchg /
Last active Jan 7, 2020
View PHP 7 - Installing imagick on Ubuntu


Note The extension Imagick is now included in Ondrej's PPA. All you need to do now is $ sudo apt-get install php-imagick, and you're done. I'll keep the guide here because a lot of it is still true for other extensions


I've installed PHP7 via Ondrej's PPA. He maintains these PPA's on his free time, consider donating

Install dependencies

inversion / gist:60a96ea3294e4ce35615
Last active Nov 30, 2015
TfL Hex Line Colours JSON
View gist:60a96ea3294e4ce35615
"Bakerloo": "#B36305",
"Central": "#E32017",
"Circle": "#FFD300",
"District": "#00782A",
"DLR": "#00A4A7",
"Hammersmith and City": "#F3A9BB",
"Jubilee": "#A0A5A9",
"Metropolitan": "#9B0056",
"Northern": "#000000",
You can’t perform that action at this time.