Emily Pillmore

group-theory. The theory of groups

haskell-resources. A List of Foundational Haskell Papers

base64. RFC 4648-compliant Base64

smash. Smash products, Wedge products, and other Pointed stuff

nonempty-vector. Non-empty Vectors

order. Order theory

Cata-Mu-Fix. A master-class in Origami - from primitive recursions to Kan-extension-based Folds

lens-process. Optics for system processes

higher-functors. Higher-order Functors

cabal-hoogle. Generate Hoogle indices from Cabal

graded. Inverse semigroups and partial group actions

Base16. Haskell

Base32. RFC 4648-compliant Base32 encodings + decodings

yiss. Yiss - Your irc servant server

julip. An implementation of the Category of Patches and Files

base16-lens. Optics for the Base16 library

Base32-lens. Optics for the Base32 library

system-process. A new library for system processes

vitrea. [WIP] Optics via the profunctor representation theorem

Mise-en-Abyme. Structured Recursion Schemes

base64-lens. Optics for the Base64 library

plfa.github.io. Introduction to programming language theory in Agda.

base58. A Modern base58 library for Haskell

lets-lens. Solutions for the Lets-Lens Course Material

strict-tuple-lens. Optics for the `strict-tuple` library

lawvere. The collected works of F. W. Lawvere

bifunctors. Haskell 98 bifunctors, bifoldables and bitraversables

hcodec. Type-level specifications for binary formats

deflationaryV2. Deflationary Pact Contract

Orwell. Python

entropy. Have you ever wanted to see what tcpdump looks like in hex? Well now you can!