Instantly share code, notes, and snippets.

View spellcast.6.md

NAME

spellcast - a game of duelling wizards

SYNOPSIS

spellcast remotedisplay [ remotedisplay ... ]

One game window will appear on the default display (determined by the contents of the DISPLAY environment variable.) The second will appear on

View pointcloud.ply
ply
format ascii 1.0
element vertex 36
property float x
property float y
property float z
property float nx
property float ny
property float nz
property float intensity
View nix-macos.md
View test.idr
-- code based on https://www.youtube.com/watch?v=umiUJNcvPl0
data Command : Type -> Type where
PutStr : String -> Command ()
GetStr : Command String
data InfIO : Type where
Do : Command a -> (a -> Inf InfIO) -> InfIO
(>>=) : Command a -> (a -> Inf InfIO) -> InfIO
View stack.yaml
compiler: ghc-8.2.0.20170507
compiler-check: match-exact
resolver: lts-8.13
setup-info:
ghc:
linux64:
8.2.0.20170507:
url: https://downloads.haskell.org/~ghc/8.2.1-rc2/ghc-8.2.0.20170507-x86_64-deb8-linux.tar.xz
content-length: 141011788
sha1: ff886437c1d2ddfa5686d6c9efb0819a957c3dde
View TinyServant.hs
{-# LANGUAGE DataKinds, PolyKinds, TypeOperators #-}
{-# LANGUAGE TypeFamilies, FlexibleInstances, ScopedTypeVariables #-}
{-# LANGUAGE InstanceSigs #-}
module TinyServant where
import Control.Applicative
import GHC.TypeLits
import Text.Read
import Data.Time
View pandoc.js.hs
{-# Language ForeignFunctionInterface #-}
{-# Language OverloadedStrings #-}
module Main where
import Text.Pandoc
import GHCJS.Marshal
import GHCJS.Foreign.Callback
import JavaScript.Object
View imageGeoDataToCsv.hs
{-# LANGUAGE LambdaCase #-}
import Graphics.HsExif (parseFileExif, getGpsLatitudeLongitude)
import System.Environment (getArgs)
import System.FilePath (takeFileName)
import System.IO (hPutStrLn, stderr)
import Data.List (intercalate)
printGeoLine :: FilePath -> IO ()
printGeoLine filename = do
View base62encode.hs
import qualified Data.DList as DL
import Control.Monad (forever)
base62Encode :: Integer -> String
base62Encode = map ((base62Alphabet!!) . fromIntegral) . DL.toList . digits
where base62Alphabet = ['0'..'9'] ++ ['A'..'Z'] ++ ['a'..'z']
digits n | n < 62 = DL.singleton n
| otherwise = digits (n `div` 62) `DL.snoc` (n `mod` 62)
readUuid :: String -> Integer
View keybase.md

Keybase proof

I hereby claim:

  • I am ehamberg on github.
  • I am eh (https://keybase.io/eh) on keybase.
  • I have a public key whose fingerprint is 45C3 E2E7 86CA ADB7 8DAD 51E7 3A1A F085 AD3B CF19

To claim this, I am signing this object: