bound
Term manipulator
Combinators for manipulating locally-nameless generalized de Bruijn terms
Combinators for manipulating locally-nameless generalized de Bruijn terms
122 stars
17 watching
30 forks
Language: Haskell
last commit: 4 months ago
Linked from 1 awesome list
aalhour/awesome-compilersRelated projects:
| Repository | Description | Stars |
|---|---|---|
| ekmett/profunctors | A Haskell implementation of profunctors, which are higher-kinded concepts for transforming and manipulating functions between types | 70 |
| ekmett/linear | A set of low-dimensional linear algebra primitives for use in Haskell programs | 202 |
| ekmett/semigroups | A Haskell package providing a set of semigroups and tools for deriving them with generics. | 62 |
| ekmett/contravariant | Provides a Haskell implementation of functors with contravariant behavior | 73 |
| ekmett/hask | Category theory for Haskell with a strong lens-like flavor. | 161 |
| ekmett/gl | Provides Haskell bindings to the OpenGL specification | 94 |
| 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 | 102 |
| ekmett/comonad | Provides definitions and laws for building comonads in Haskell | 77 |
 colah/hasksymb | A proof-of-concept system for manipulating mathematical expressions using a custom language and pattern matching mechanism. | 72 |
 lettier/parsing-with-haskell-parser-combinators | An in-depth guide to parsing using Haskell's parser combinator technology | 92 |
| ekmett/lens | A Haskell library that provides a general-purpose data transformation framework using lenses and traversals. | 2,032 |
| ekmett/linear-logic | An implementation of intuitionistic linear logic using Haskell. | 83 |
 haskell-waargonaut/waargonaut | A JSON manipulation library for Haskell that provides flexible and precise decoding/encoding tools. | 94 |
 davidnemeskey/embert | Provides pre-trained transformer-based models and tools for natural language processing tasks | 2 |