first-class-families
Type composer
A library providing a foundation for type-level functions and compositions in Haskell
First-class type families
87 stars
8 watching
12 forks
Language: Haskell
last commit: about 2 years agodependent-typeshaskelltypes
Related projects:
| Repository | Description | Stars |
|---|---|---|
 ilya-klyuchnikov/lambdapi | Reorganization of source code for dependently typed lambda calculus paper to improve readability and understandability | 112 |
 typedefs/typedefs | A language-agnostic way to define algebraic data types using polynomials. | 367 |
 dorchard/type-level-sets | A Haskell library providing data structures and operations for working with sets and maps at the type level | 66 |
 lexi-lambda/higher-rank | A Haskell implementation of type checking and evaluation for higher-rank polymorphism | 101 |
 i-am-tom/learn-me-a-haskell | Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure | 70 |
 typelevel/simulacrum | A library that simplifies the use of type classes in Scala | 935 |
 andreasabel/miniagda | A research prototype of a dependently typed language with sized types and variances | 104 |
 dimasamoz/mezzo | A Haskell library for type-safe music composition with static rule enforcement at compile-time. | 357 |
 lexifi/lrt | A package providing runtime type representations and a syntax extension to synthesize them from OCaml types | 32 |
 gabriella439/haskell-typed-spreadsheet-library | Provides a typed and composable API for building spreadsheets with explicit input/output relationships | 185 |
 lemastero/scala_typeclassopedia | A comprehensive guide to abstractions from Category theory in functional programming with implementation examples and links to further resources. | 379 |
 kotlinisland/basedtyping | A collection of helpers and utilities to aid in dealing with types at static analysis and runtime. | 9 |
 pa-ba/compdata | A Haskell library for creating and manipulating compositional data types in a modular and flexible way | 89 |
 thma/ltupatternfactory | Maps software design patterns to Haskell type class concepts and functional programming structures | 995 |
 tweag/linear-base | A standard library providing minimal facilities to write practical code with linear types in Haskell. | 336 |