Type level 2's and 16's complement arithmetic (old)
BSD-2-CLAUSE License
Fixed Precision Arithmetic
A type inhabited by finitely many values, indexed by type-level naturals.
Commutative Applicatives and Semigroups
Fingertrees of Bytestrings
Generate Purescript types from Haskell
Interval Arithmetic
a small stub for compiling and linking ispc code with haskell
Missing Numerical Operations
An alternative, composable model of RoleAnnotations via type classes
Provides access to GHC's dynamic pointer tag bits
some compiler tech
experiments with pext/pdep and codebruijn syntax
category-theoretic goodness for Haskell
Monoids, specialized containers and a general map/reduce framework
haddocks