Skip to content

Instantly share code, notes, and snippets.

View sakehl's full-sized avatar

Lars - he/him sakehl

View GitHub Profile
@sakehl
sakehl / typecheck.py
Created April 16, 2020 15:22 — forked from knowsuchagency/typecheck.py
A cell magic to enable the use of mypy within jupyter notebooks
"""
Add mypy type-checking cell magic to jupyter/ipython.
Save this script to your ipython profile's startup directory.
IPython's directories can be found via `ipython locate [profile]` to find the current ipython directory and ipython profile directory, respectively.
For example, this file could exist on a path like this on mac:
/Users/yourusername/.ipython/profile_default/startup/typecheck.py
@sakehl
sakehl / whatsapp-emoticon-preserver.user.js
Last active November 25, 2022 12:31 — forked from varkor/whatsapp-emoticon-preserver.user.js
Disable automatic emoticon → emoji conversion in WhatsApp Web
// ==UserScript==
// @name WhatsApp Emoticon Preserver
// @namespace https://gist.github.com/sakehl/4a843a22f7cdb58942d635784e8152c7
// @version 0.6
// @author varkor, sakehl
// @description Disable automatic emoticon → emoji conversion in WhatsApp Web
// @match https://web.whatsapp.com/
// @grant none
// ==/UserScript==