guanxi
Haskell relational framework
An exploration of relational programming in Haskell with a focus on language and tooling
Relational programming in Haskell. Mostly developed on twitch.
257 stars
23 watching
29 forks
Language: Haskell
last commit: 3 months ago Related projects:
Repository | Description | Stars |
---|---|---|
ekmett/hask | Category theory for Haskell with a strong lens-like flavor. | 163 |
ekmett/lens | A Haskell library that provides a general-purpose data transformation framework using lenses and traversals. | 2,034 |
ekmett/reflection | Provides a way to represent and manipulate arbitrary Haskell code structure using a reflection mechanism | 104 |
ekmett/structures | A playground for advanced data structures in Haskell | 63 |
ekmett/semigroups | A Haskell package providing a set of semigroups and tools for deriving them with generics. | 62 |
ekmett/profunctors | A Haskell implementation of profunctors, which are higher-kinded concepts for transforming and manipulating functions between types | 70 |
neohaskell/neohaskell | A Haskell-based tooling framework designed to enhance developer productivity and newcomer-friendliness. | 307 |
dandoh/web-haskell-graphql-postgres-boilerplate | A Haskell-based web application framework with GraphQL API, PostgreSQL database, JWT authentication, and DB migration tools. | 122 |
ekmett/contravariant | Provides a Haskell implementation of functors with contravariant behavior | 73 |
ekmett/gl | Provides Haskell bindings to the OpenGL specification | 93 |
ekmett/bound | Combinators for manipulating locally-nameless generalized de Bruijn terms | 121 |
dvberkel/microkanren | An implementation of a minimalist functional core for relational programming languages. | 5 |
ekmett/comonad | Provides definitions and laws for building comonads in Haskell | 77 |
jepst/cloudhaskell | A distributed computing framework for building fault-tolerant and redundant applications | 347 |
ekmett/linear | A set of low-dimensional linear algebra primitives for use in Haskell programs | 203 |