Callan McGill's repositories
algebraic-laws
A Haskell library defining a collection of algebraic laws
Language:Agda000
Language:Python000
bv-little
A little endian bit-vector Haskell library
Language:HaskellBSD-3-Clause000
Language:Haskell000
Language:Haskell000
Language:Haskell000
Haskell-Foldl-Library
Composable, streaming, and efficient left folds
Language:HaskellBSD-3-Clause000
Language:Haskell000
Language:Python000
huffman
Pure Haskell implementation of the Huffman encoding algorithm
Language:HaskellBSD-2-Clause000
mwc-probability
A probability distribution type layered on top of mwc-random.
Language:HaskellMIT000
Newtype-Kit
Messing around with Conor McBride's newtype ideas
parallel
a library for parallel programming
Language:HaskellNOASSERTION000
Propositional-Logic
Parser and some basic functionality for propositional logic
Language:Haskell000
Language:Agda000
Language:Haskell000
text-show-instances
Additional instances for text-show
Language:HaskellBSD-3-Clause000
Language:Haskell000
Language:Haskell000
TypesSummerSchoolExercises
Exercises from Types Summer School 2007
Language:Agda000
Language:HaskellMIT000
Language:Shell000
Language:Haskell000