ekmett Goto Github PK

categories

categories from category-extras

category-extras

category-theoretic goodness for Haskell

category-theory

A formalization of category theory in Coq for personal study

cereal

charset

fast utf-8 character sets

cmake

Common CMake modules

coda

A language experiment -- irc.freenode.net ##coda

codebruijn

experiments with pext/pdep and codebruijn syntax

codex

UI experiments for coda

colorimetry

A bunch of random colorimetry data I've harvested from various sources.

comonad

Haskell 98 comonads

comonad-extras

Comonad transformers that require Haskell extensions

comonad-transformers

Haskell 98 comonad transformers - as of 4.0 these have merged into the comonad package.

comonads-fd

comonad transformers based on functional-dependencies

compensated

Compensated floating-point arithmetic

compiler

some compiler tech

compressed

Compressed generators for monoidal reducers

concurrent

Yet another concurrent playground

concurrent-supply

A fast globally unique variable supply with a pure API

constraints

Tools for programming with ConstraintKinds in GHC

containers

contravariant

Haskell 98 contravariant functors

crlibm

A mirror of the CRLibm project from INRIA Forge

crypto-api

Haskell generic interface (type classes) for cryptographic algorithms

data-lens

Haskell 98 Lenses

data-lens-fd

Lenses with Functional Dependencies

data-lens-template

Template Haskell utilities for Data.Lens -- Russell O'Connor now maintains this package, this is not the official repository any more

data-store

Multi-key multi-value store for Haskell native data types with type safe interface.

dd

deferredtexturing

A rendering sample that demonstrates bindless deferred texturing using D3D12