facts

Type system library

A Haskell library for working with refined types to represent and manipulate data structures

Refined types

GitHub

58 stars
5 watching
3 forks
Language: Haskell
last commit: about 6 years ago
haskellrefinement-types

Related projects:

Repository Description Stars
mrkkrp/modern-uri A modern Haskell library for working with URIs in a correct and efficient manner 68
mrkkrp/zip A Haskell library for efficiently working with compressed ZIP archives. 81
mrkkrp/ghc-syntax-highlighter A syntax highlighter library for Haskell built around the GHC lexer. 59
mrkkrp/megaparsec An industrial-strength monadic parser combinator library. 919
mrkkrp/req An HTTP client library for Haskell with type-safe and expandable features. 338
ff-notes/ron Implementation of a replicated data type in Haskell for handling concurrent updates and maintaining consistency in distributed systems. 65
pa-ba/compdata A Haskell library for creating and manipulating compositional data types in a modular and flexible way 89
dorchard/type-level-sets A Haskell library providing data structures and operations for working with sets and maps at the type level 66
kowainik/membrain Provides type-safe memory units through a Haskell library with minimal boilerplate 62
sweirich/challenge An implementation of a strongly-typed System F in Haskell 117
haskell/mtl A collection of monad classes and transformers that enable functional programming in Haskell 367
lexi-lambda/higher-rank A Haskell implementation of type checking and evaluation for higher-rank polymorphism 101
ajtulloch/haskell-ml Implementations of basic machine learning algorithms in Haskell 57
gabriella439/haskell-typed-spreadsheet-library Provides a typed and composable API for building spreadsheets with explicit input/output relationships 186
anton-k/ru-haskell-book A comprehensive resource for learning Haskell, featuring documentation, examples, and project code. 275