hask
Haskell framework
Category theory for Haskell with a strong lens-like flavor.
Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
163 stars
14 watching
15 forks
Language: Haskell
last commit: over 4 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
| ekmett/semigroups | A Haskell package providing a set of semigroups and tools for deriving them with generics. | 62 |
| ekmett/structures | A playground for advanced data structures in Haskell | 63 |
| ekmett/reflection | Provides a way to represent and manipulate arbitrary Haskell code structure using a reflection mechanism | 104 |
| ekmett/contravariant | Provides a Haskell implementation of functors with contravariant behavior | 73 |
| ekmett/guanxi | An exploration of relational programming in Haskell with a focus on language and tooling | 257 |
| ekmett/comonad | Provides definitions and laws for building comonads in Haskell | 77 |
| ekmett/profunctors | A Haskell implementation of profunctors, which are higher-kinded concepts for transforming and manipulating functions between types | 70 |
| ekmett/gl | Provides Haskell bindings to the OpenGL specification | 93 |
| ekmett/bound | Combinators for manipulating locally-nameless generalized de Bruijn terms | 121 |
 def-/ghc-vis | A tool to visualize live Haskell data structures in GHCi | 136 |
 haskell-tools/haskell-tools | Developer tools for refactoring Haskell programs. | 249 |
| ekmett/coda | An experimental language project providing a toy compiler and tools for working with it | 162 |
 winterland1989/magic-haskell | A collection of Haskell examples and tutorials covering various programming concepts | 294 |
 ajtulloch/haskell-ml | Implementations of basic machine learning algorithms in Haskell | 57 |
 haskell-gi/haskell-gi | Generates Haskell bindings for GObject Introspection capable libraries | 293 |