spl/pdftk
(UNMAINTAINED) Mirror of PDFtk Server
Discovered public repositories for spl in the GitHub catalog.
(UNMAINTAINED) Mirror of PDFtk Server
PhD thesis of Sean Leather
Difference lists in Haskell
An Alfred2 workflow for calling texdoc
My Mercurial configuration files
My git configuration files
Miscellaneous shell scripts
Shell scripts for Microsoft Office applications
Perl script for renaming files
My GHC configuration files
My editline configuration files
My bash configuration files
Numerous generic functions that use generic-deriving
My CV
A type class for functionalizing functors
Sources of various talks that I've given
My vim configuration files
Selection of slides from talks at DHD >>= UHac
LaTex number signs for warning speakers of time remaining
GHC version selection script for Haskell Platform on Mac OS X
A collection of experiments with no relevance to anything else
Simple implementation of the generic spine view
Lightweight Implementation of Generics and Dynamics
Extensible and Modular Generics for the Masses
A simple type-checker for Girard's System Fω in Church-style (each variable must be annotated with it's type)
Public repository.
Tools to support multiple GHC distributions in a Bash shell environment
Customized formatting of Haskell in lhs2TeX
Fast calculation of numerical digits
Extensible, typed, scanf- and printf-like functions for formatted reading and showing in Haskell
Code for blog entries