bound
by ekmett
Combinators for manipulating locally-nameless generalized de Bruijn terms
AI summary
Term manipulator
Combinators for manipulating locally-nameless generalized de Bruijn terms
- stars
- 121
- forks
- 30
- watching
- 17
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Type transformer library
A Haskell implementation of profunctors, which are higher-kinded concepts for transforming and manipulating functions between types
Linear algebra library
A set of low-dimensional linear algebra primitives for use in Haskell programs
Semigroup toolkit
A Haskell package providing a set of semigroups and tools for deriving them with generics.
Functor library
Provides a Haskell implementation of functors with contravariant behavior
Haskell framework
Category theory for Haskell with a strong lens-like flavor.
OpenGL bindings library
Provides Haskell bindings to the OpenGL specification
Data structure experiment
A playground for advanced data structures in Haskell
Haskell reflection library
Provides a way to represent and manipulate arbitrary Haskell code structure using a reflection mechanism
Comonad definition
Provides definitions and laws for building comonads in Haskell
Expression manipulator
A proof-of-concept system for manipulating mathematical expressions using a custom language and pattern matching mechanism.
Haskell parsing tutorial
An in-depth guide to parsing using Haskell's parser combinator technology
Transformation framework
A Haskell library that provides a general-purpose data transformation framework using lenses and traversals.
Linear logic implementation
An implementation of intuitionistic linear logic using Haskell.
JSON manipulator
A JSON manipulation library for Haskell that provides flexible and precise decoding/encoding tools.
NLP toolset
Provides pre-trained transformer-based models and tools for natural language processing tasks
Featured in 1 awesome list
Each link jumps to the spot where the list mentions bound.
