jwiegley

coq-pipes

putting-lenses-to-work

A presentation for BayHac 2017 on how I uses lenses at work

regex-tool

A regular expression IDE for Emacs, to help with the creation and testing of regular expressions.

z3cat

Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations

emacs-pl

simple-conduit

categorical

Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work

ghc-dynamic-example

An example of dynamically loading a Haskell source module

haskell-to-c

Sample code to build a C library from a Haskell module, then call it from C

monad-extras

hierarchy

stringable

A Stringable type class, in the spirit of Foldable and Traversable

gnus-harvest

Harvest e-mail addresses from read/written Gnus articles

ipcvar

pipes-async

set-theory

bcalc

linkdups

Intelligently hard-link duplicate files in a directory tree

consistent

haskell-quantification

Presentation on quantification in Haskell for South Bay Haskell

rehoo

Utility to combine lots and lots of .hoo files in parallel

sshify

Script for setting up publickey authentication on new hosts

zomega

A computational reflection based solver for expressions involving Z (but tunable)

helm-hoogle

Use helm to navigate query results from Hoogle

initsplit

John Wiegley's code to split customizations into different files, evolved!

kleisli

concat-examples

hackage-mirror

hoopl-lens

timeparsers