singletons
by goldfirere
Fake dependent types in Haskell using singletons
AI summary
Type constraint library
An ecosystem of singleton types in Haskell to enforce rich constraints among types in programs.
- stars
- 288
- forks
- 37
- watching
- 17
Similar projects
Found by comparing what the projects do, not just their names.
greyblake/nutype1.4K
Constraint library
A tool that adds extra constraints to the newtype pattern in Rust
fthomas/refined1.7K
Type constraint library
A Scala library that allows adding constraints to types at compile-time using type-level predicates.
Unit conversion library
Provides compile-time dimensional analysis for Haskell applications
Constraint solver
A programming framework for expressing constraints across classical and quantum computing architectures
Parser library
A parser combinator library designed to be industrial-strength and easy to use
Type utility library
A collection of utilities for creating and working with type-guards and assertions in TypeScript.
Security rule language
A Haskell-based language and compiler for writing Firestore security rules with type validation and idiomatic expressiveness.
Compression library
A library that provides bindings to various compression formats.
Type composer
A library providing a foundation for type-level functions and compositions in Haskell
Shopify client
A type-safe client library for the Shopify API
Type system library
A Haskell library for working with refined types to represent and manipulate data structures
Generics library
A simple and efficient generics library for Haskell
Type-level set library
A Haskell library providing data structures and operations for working with sets and maps at the type level
Linear type library
A standard library providing minimal facilities to write practical code with linear types in Haskell.
Type checker
An implementation of bidirectional type checking for higher-rank polymorphism in Haskell
