Justus Adam JustusAdam

PhD student working on systems for privacy and security.

JustusAdam / crawl.py

Created July 23, 2015 14:47

	#!/usr/bin/env python3

	import re
	from urllib.request import urlopen
	import json
	from itertools import chain


	linkregex = re.compile(r'(https?://([\w\.-])?\.sz-online\.de)(/[\w/-]\.html)')

JustusAdam / StyleAll.hs

Created July 21, 2015 07:39

Let stylish-haskell loose on a directory and all its subdirectories.

	{-# LANGUAGE UnicodeSyntax #-}
	module StyleAll where


	import Control.Monad
	import Control.Monad.Unicode
	import Data.Bool
	import Prelude.Unicode
	import System.Directory
	import System.Environment

JustusAdam / WatchSlides.hs

Last active August 29, 2015 14:24

Haskell watcher for compiling markdown to reveljs scripts and tex automatically.

	{-# LANGUAGE OverloadedStrings #-}
	{-# LANGUAGE UnicodeSyntax #-}


	import Control.Concurrent (threadDelay)
	import Control.Monad (forever)
	import Filesystem
	import Filesystem.Path.CurrentOS
	import Prelude hiding (FilePath)
	import Prelude.Unicode