first-class-families
by Lysxia
First-class type families
AI summary
Type composer
A library providing a foundation for type-level functions and compositions in Haskell
- stars
- 87
- forks
- 12
- watching
- 8
Similar projects
Found by comparing what the projects do, not just their names.
Lambda calculator
Reorganization of source code for dependently typed lambda calculus paper to improve readability and understandability
Type constructor
A language-agnostic way to define algebraic data types using polynomials.
Type-level set library
A Haskell library providing data structures and operations for working with sets and maps at the type level
Type checker
A Haskell implementation of type checking and evaluation for higher-rank polymorphism
Type checker
Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure
Type class library
A library that simplifies the use of type classes in Scala
Dependent type prototype
A research prototype of a dependently typed language with sized types and variances
Music compositional library
A Haskell library for type-safe music composition with static rule enforcement at compile-time.
Type synthesizer
A package providing runtime type representations and a syntax extension to synthesize them from OCaml types
Spreadsheet library
Provides a typed and composable API for building spreadsheets with explicit input/output relationships
Category theory guide
A comprehensive guide to abstractions from Category theory in functional programming with implementation examples and links to further resources.
Type utility library
A collection of helpers and utilities to aid in dealing with types at static analysis and runtime.
Data type builder
A Haskell library for creating and manipulating compositional data types in a modular and flexible way
Pattern mapping
Maps software design patterns to Haskell type class concepts and functional programming structures
Linear type library
A standard library providing minimal facilities to write practical code with linear types in Haskell.
