Discover @spl Open Source projects

Sean Leather (@spl)

spl

Stars
267
Global Rank 97,847 (Top 4 %)
Followers 90
Following 1
Registered almost 16 years ago
Most used languages

Haskell
62.5 %

Shell
15.6 %

Lean 9.4 %

Ruby
3.1 %

TeX
3.1 %

Java
3.1 %

OCaml
3.1 %

dlist

Difference lists in Haskell

zfs-on-mac

My personal ZFS on macOS instructions and scripts

homebrew-pdftk

(UNMAINTAINED) Homebrew Formula for PDFtk Server

multi-ghc

Tools to support multiple GHC distributions in a Bash shell environment

ivy

A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety

font-awesome-type

A Font Awesome data type enumerating all icon classes in Haskell

emgm

Extensible and Modular Generics for the Masses

basic-category-theory

Source for Basic Category Theory by Tom Leinster

xformat

Extensible, typed, scanf- and printf-like functions for formatted reading and showing in Haskell

alpha-conversion-is-easy

Lean proof of alpha-conversion is easy

ghc-ver

GHC version selection script for Haskell Platform on Mac OS X

jhc

Read-only mirror of jhc, a Haskell compiler that aims to produce the most efficient programs possible via whole program analysis and other optimizations

talks

Sources of various talks that I've given

splonderzoek

Code for blog entries

sandbox

A collection of experiments with no relevance to anything else

functionalize-functors

A type class for functionalizing functors

jhc-darcs

Read-only mirror of the jhc darcs repository

generic-deriving-extras

Numerous generic functions that use generic-deriving

haskell-box-view

Simple implementation of the Box View API

lean-tutorial

Code from working on the Lean tutorial

spine

Simple implementation of the generic spine view

tts

haskell-marketo

Implementation of parts of the Marketo REST API

lhs2TeX-haskell

Customized formatting of Haskell in lhs2TeX

bash-config

My bash configuration files

pdftk

(UNMAINTAINED) Mirror of PDFtk Server

ligd

Lightweight Implementation of Generics and Dynamics

http-client-request-modifiers

Convenient monadic HTTP request modifiers

haskell-hubspot

Implementation of parts of the HubSpot API

network-uri-sandbox

A sandbox for different combinations of network-uri and network dependencies

church

A simple type-checker for Girard's System Fω in Church-style (each variable must be annotated with it's type)

yesod-example-sqlite

A generated (SQLite) Yesod reference example