contravariant

Similar projects

Found by comparing what the projects do, not just their names.

• ekmett/hask163

  Haskell framework

  Category theory for Haskell with a strong lens-like flavor.

• ekmett/comonad77

  Comonad definition

  Provides definitions and laws for building comonads in Haskell

• ekmett/linear203

  Linear algebra library

  A set of low-dimensional linear algebra primitives for use in Haskell programs

• ekmett/semigroups62

  Semigroup toolkit

  A Haskell package providing a set of semigroups and tools for deriving them with generics.

• ekmett/profunctors70

  Type transformer library

  A Haskell implementation of profunctors, which are higher-kinded concepts for transforming and manipulating functions between types

• ekmett/structures63

  Data structure experiment

  A playground for advanced data structures in Haskell

• ekmett/linear-logic83

  Linear logic implementation

  An implementation of intuitionistic linear logic using Haskell.

• ekmett/bound121

  Term manipulator

  Combinators for manipulating locally-nameless generalized de Bruijn terms

• ekmett/reflection104

  Haskell reflection library

  Provides a way to represent and manipulate arbitrary Haskell code structure using a reflection mechanism

• ekmett/coda162

  Language experiment

  An experimental language project providing a toy compiler and tools for working with it

• ekmett/gl93

  OpenGL bindings library

  Provides Haskell bindings to the OpenGL specification

• ekmett/guanxi257

  Haskell relational framework

  An exploration of relational programming in Haskell with a focus on language and tooling

• lettier/parsing-with-haskell-parser-combinators93

  Haskell parsing tutorial

  An in-depth guide to parsing using Haskell's parser combinator technology

• jwiegley/category-theory759

  Category theory library

  An axiomatic formalization of category theory in Coq for personal study and practical work