singletons
Dependent type ecosystem
An ecosystem of singleton types that allow dependently typed techniques to enforce rich constraints among program types
Fake dependent types in Haskell using singletons
287 stars
17 watching
36 forks
Language: Haskell
last commit: 25 days ago Related projects:
Repository | Description | Stars |
---|---|---|
greyblake/nutype | A tool that adds extra constraints to the newtype pattern in Rust | 1,418 |
fthomas/refined | A Scala library that allows adding constraints to types at compile-time using type-level predicates. | 1,713 |
goldfirere/units | Provides compile-time dimensional analysis for Haskell applications | 95 |
lanl/nchoosek | A programming framework for expressing constraints across classical and quantum computing architectures | 5 |
haskell/parsec | A parser combinator library designed to be industrial-strength and easy to use | 847 |
tool-belt/type-predicates | A collection of utilities for creating and working with type-guards and assertions in TypeScript. | 54 |
bijoutrouvaille/fireward | A Haskell-based language and compiler for writing Firestore security rules with type validation and idiomatic expressiveness. | 238 |
rust-lang/flate2-rs | A library that provides bindings to various compression formats. | 916 |
lysxia/first-class-families | A library providing a foundation for type-level functions and compositions in Haskell | 86 |
aaronlevin/haskell-shopify | A type-safe client library for the Shopify API | 12 |
mrkkrp/facts | A Haskell library for working with refined types to represent and manipulate data structures | 58 |
ndmitchell/uniplate | A simple and efficient generics library for Haskell | 76 |
dorchard/type-level-sets | A Haskell library providing data structures and operations for working with sets and maps at the type level | 66 |
tweag/linear-base | A standard library providing minimal facilities to write practical code with linear types in Haskell. | 336 |
ollef/bidirectional | An implementation of bidirectional type checking for higher-rank polymorphism in Haskell | 129 |