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: about 1 year ago Related projects:
Repository | Description | Stars |
---|---|---|
| A functional JDBC layer that abstracts database interactions in a Scala-based programming language | 2,177 |
| A library that simplifies the use of type classes in Scala | 935 |
| A Haskell library for working with refined types to represent and manipulate data structures | 57 |
| A library providing a foundation for type-level functions and compositions in Haskell | 87 |
| A Haskell library for creating and manipulating compositional data types in a modular and flexible way | 89 |
| A data structure library providing efficient append and snoc operations for list-like types | 65 |
| Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure | 70 |
| A Haskell implementation of type checking and evaluation for higher-rank polymorphism | 101 |
| A collection of type definitions for Dojo 1.x libraries and frameworks. | 28 |
| Provides Haskell bindings to LevelDB for fast, disk-based key-value storage | 66 |
| A standard library providing minimal facilities to write practical code with linear types in Haskell. | 336 |
| An experiment in building a domain-specific language (DSL) to query structured objects using TypeScript's type system | 144 |
| A parser combinator library designed to be industrial-strength and easy to use | 850 |
| Exploring type-level programming in Rust with a focus on simplicity and expressiveness | 323 |
| Generates matching Elm type definitions and JSON encoders and decoders from Haskell types | 61 |