Charles Strahan cstrahan

## HRecursionSchemes.hs
{-# LANGUAGE StandaloneDeriving, DataKinds, PolyKinds, GADTs, RankNTypes, TypeOperators, FlexibleContexts, TypeFamilies, KindSignatures #-}

-- http://www.timphilipwilliams.com/posts/2013-01-16-fixing-gadts.html

module HRecursionSchemes where

import Control.Applicative
import Data.Functor.Identity
import Data.Functor.Const
import Text.PrettyPrint.Leijen hiding ((<>))

## IxFix.hs
{-# LANGUAGE
  UndecidableInstances, RankNTypes, TypeOperators, TypeFamilies,
  StandaloneDeriving, DataKinds, PolyKinds, DeriveFunctor, DeriveFoldable,
  DeriveTraversable, LambdaCase, PatternSynonyms, TemplateHaskell #-}

import Control.Monad
import Control.Applicative
import Data.Singletons.TH


## setupYubikey.sh
#! /bin/bash

set -e

GPGCONF_PATH=$(which gpgconf)

if [[ "$GPGCONF_PATH" != "/usr/local/bin/gpgconf" ]]; then
	echo "You don't have gnupg installed from brew, lets install it."
	brew install gnupg pinentry-mac ykpers
else

## config-ayufan
#
# Automatically generated file; DO NOT EDIT.
# Linux/arm64 4.4.103-rockchip-ayufan-1 Kernel Configuration
#
CONFIG_ARM64=y
CONFIG_64BIT=y
CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
CONFIG_MMU=y
CONFIG_ARCH_MMAP_RND_BITS_MIN=18
CONFIG_ARCH_MMAP_RND_BITS_MAX=24

## SMBDIS.ASM
;SMBDIS.ASM - A COMPREHENSIVE SUPER MARIO BROS. DISASSEMBLY
;by doppelganger (doppelheathen@gmail.com)

;This file is provided for your own use as-is.  It will require the character rom data
;and an iNES file header to get it to work.

;There are so many people I have to thank for this, that taking all the credit for
;myself would be an unforgivable act of arrogance. Without their help this would
;probably not be possible.  So I thank all the peeps in the nesdev scene whose insight into
;the 6502 and the NES helped me learn how it works (you guys know who you are, there's no

## example.go
package main

/*
#cgo CFLAGS: -x objective-c
#cgo LDFLAGS: -framework Cocoa
#import <Cocoa/Cocoa.h>

int
StartApp(void) {
    [NSAutoreleasePool new];

## example.go
package main

/*
#cgo CFLAGS: -x objective-c
#cgo LDFLAGS: -framework Cocoa
#import <Cocoa/Cocoa.h>

int
StartApp(void) {
    [NSAutoreleasePool new];

## main.hs
{-# LANGUAGE MagicHash, UnboxedTuples #-}
module Main(main) where

import GHC.Exts         ( addrToAny# )
import GHC.Ptr          ( Ptr(..) )
import System.Info      ( os, arch )
import Encoding
import ObjLink

main :: IO ()

## bridged.conf
# /etc/openvpn/bridged.conf
comp-lzo
persist-key
persist-tun

dh   /etc/openvpn/dh1024.pem
ca   /etc/openvpn/ca.crt
cert /etc/openvpn/bridged.crt
key  /etc/openvpn/bridged.key

## Deriv.idr
module Deriv

import Control.Isomorphism

--
-- A type constructor df is the derivative of the type constructor f if for all x and e there exists d such
-- such that
--
-- f (x + e) ~ f x + e * (df x) + e^2 * d
--