refined
Type constraint library
A Scala library that allows adding constraints to types at compile-time using type-level predicates.
Refinement types for Scala
2k stars
23 watching
157 forks
Language: Scala
last commit: 6 days ago refinement-typesscalatypelevel
Related projects:
| Repository | Description | Stars |
|---|---|---|
 typelevel/simulacrum | A library that simplifies the use of type classes in Scala | 936 |
 goldfirere/singletons | An ecosystem of singleton types that allow dependently typed techniques to enforce rich constraints among program types | 287 |
 0xd34df00d/refinedt | A project that formalizes refinement types and dependent types in the Agda language | 58 |
| typelevel/doobie | A functional JDBC layer that abstracts database interactions in a Scala-based programming language | 2,171 |
 thangiee/freasy-monad | A Scala macro-based library for creating typelevel monads with first-class support in IntelliJ | 114 |
| typelevel/skunk | A data access library for building Scala applications that interact with Postgres databases. | 1,588 |
| fthomas/crjdt | A high-level API to the conflict-free replicated JSON datatype in Scala | 297 |
 lemastero/scala_typeclassopedia | A comprehensive documentation of abstractions and implementation details in the context of category theory and functional programming | 378 |
 ruipfcosta/autolayoutplus | An Auto Layout library that simplifies constraint creation and reduces code verbosity | 27 |
| typelevel/spire | A numeric library for Scala providing powerful number types and abstractions for generic, fast, and precise computations. | 1,764 |
| typelevel/cats-parse | A Scala parsing library designed to be compatible, performant, safe, and stable across various platforms and versions. | 233 |
 tweag/linear-base | A standard library providing minimal facilities to write practical code with linear types in Haskell. | 336 |
 mrkkrp/facts | A Haskell library for working with refined types to represent and manipulate data structures | 58 |
| typelevel/squants | A framework for representing quantities and their dimensional relationships in a type-safe way | 923 |
 rust-lang/flate2-rs | A library that provides bindings to various compression formats. | 916 |