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