type-level-sets
Type-level set library
A Haskell library providing data structures and operations for working with sets and maps at the type level
Type-level sets for Haskell (with value-level counterparts and various operations)
66 stars
4 watching
22 forks
Language: Haskell
last commit: over 1 year ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 typelevel/doobie | A functional JDBC layer that abstracts database interactions in a Scala-based programming language | 2,177 |
| typelevel/simulacrum | A library that simplifies the use of type classes in Scala | 935 |
 mrkkrp/facts | A Haskell library for working with refined types to represent and manipulate data structures | 57 |
 lysxia/first-class-families | A library providing a foundation for type-level functions and compositions in Haskell | 87 |
 pa-ba/compdata | A Haskell library for creating and manipulating compositional data types in a modular and flexible way | 89 |
 spl/dlist | A data structure library providing efficient append and snoc operations for list-like types | 65 |
 i-am-tom/learn-me-a-haskell | Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure | 70 |
 lexi-lambda/higher-rank | A Haskell implementation of type checking and evaluation for higher-rank polymorphism | 101 |
 dojo/typings | A collection of type definitions for Dojo 1.x libraries and frameworks. | 28 |
 kim/leveldb-haskell | Provides Haskell bindings to LevelDB for fast, disk-based key-value storage | 66 |
 tweag/linear-base | A standard library providing minimal facilities to write practical code with linear types in Haskell. | 336 |
 anuraghazra/typelevel-parser | An experiment in building a domain-specific language (DSL) to query structured objects using TypeScript's type system | 144 |
 haskell/parsec | A parser combinator library designed to be industrial-strength and easy to use | 850 |
 willcrichton/tyrade | Exploring type-level programming in Rust with a focus on simplicity and expressiveness | 323 |
 haskell-to-elm/haskell-to-elm | Generates matching Elm type definitions and JSON encoders and decoders from Haskell types | 61 |