facts
by mrkkrp
Refined types
AI summary
Type system library
A Haskell library for working with refined types to represent and manipulate data structures
- stars
- 57
- forks
- 3
- watching
- 5
Similar projects
Found by comparing what the projects do, not just their names.
URI library
A modern Haskell library for working with URIs in a correct and efficient manner
ZIP archive library
A Haskell library for efficiently working with compressed ZIP archives.
Haskell Lexer Highlighter
A syntax highlighter library for Haskell built around the GHC lexer.
parser library
An industrial-strength monadic parser combinator library.
mrkkrp/req339
HTTP client
An HTTP client library for Haskell with type-safe and expandable features.
Distributed data type
Implementation of a replicated data type in Haskell for handling concurrent updates and maintaining consistency in distributed systems.
Data type builder
A Haskell library for creating and manipulating compositional data types in a modular and flexible way
Type-level set library
A Haskell library providing data structures and operations for working with sets and maps at the type level
Memory unit library
Provides type-safe memory units through a Haskell library with minimal boilerplate
Type inference system
An implementation of a strongly-typed System F in Haskell
haskell/mtl364
Monad transformer library
A collection of monad classes and transformers that enable functional programming in Haskell
Type checker
A Haskell implementation of type checking and evaluation for higher-rank polymorphism
Machine Learning Library
Implementations of basic machine learning algorithms in Haskell
Spreadsheet library
Provides a typed and composable API for building spreadsheets with explicit input/output relationships
Haskell textbook repository
An online Haskell book repository with source code examples and downloadable books in various formats.