66 open source projects by ekmett

haskell, opengl, toy project

Relational programming in Haskell. Mostly developed on twitch.

Low-dimensional linear algebra primitives for Haskell.

Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)

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

Lenses, Folds, and Traversals - Join us on freenode #haskell-lens

free monads

The Art of the Propagator. See also:

Fast linear time sorting and discrimination for a large class of data types

Combinators for manipulating locally-nameless generalized de Bruijn terms

Reifies arbitrary Haskell terms into types that can be reflected back into terms

playground for working with succinct data structures

constructive abstract algebra

Generic parser combinators

Haskell 98 comonads

Haskell 98 Profunctors

Tools for programming with ConstraintKinds in GHC

every day i'm truffling

the EitherT monad transformer

a monadic graph library

Approximate discrete values and numbers

A monad, perhaps.

phantom types

keyed functors

A port of Bryan O'Sullivan's attoparsec from Haskell to Scala

Networks of composable stream transducers

Automatic Differentiation

Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink

Provides Data.Void, which is in base since ghc 7.8 or so

experimenting with unlifted classes via backpack

An experimental "Turbo" Haskell Runtime - Nothing really to see here yet

minimalist polymorphic scheme-(co)monads, written to avoid use of any advanced language features except hygienic macros

Haskell 98 semigroups

Indexed Functors for GHC 7.6

Complete raw OpenGL bindings for Haskell

Bit twiddling and bitwise serialization primitives

higher-kinded data

Interval Arithmetic

Commutative Applicatives and Semigroups

Simple adjunctions

a playground for working with fully static tensors and automatic differentiation

Knuth-Liang Hyphenation for Haskell based on TeX hyphenation files

Compensated floating-point arithmetic

Right Kan extension transformers covering the entire MTL, IO, ST s, and STM in Haskell in a generalization of continuation passing style

Dual Traversable

Succinct binary serialization

MPFR bindings for Haskell

A constant-memory approximation of set membership

sparse matrices in Morton order