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
154 forks
Language: Scala
last commit: about 1 month ago refinement-typesscalatypelevel
Related projects:
| Repository | Description | Stars |
|---|---|---|
 typelevel/simulacrum | A library that simplifies the use of type classes in Scala | 935 |
 goldfirere/singletons | An ecosystem of singleton types in Haskell to enforce rich constraints among types in programs. | 288 |
 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,177 |
 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,594 |
| fthomas/crjdt | A high-level API to the conflict-free replicated JSON datatype in Scala | 297 |
 lemastero/scala_typeclassopedia | A comprehensive guide to abstractions from Category theory in functional programming with implementation examples and links to further resources. | 379 |
 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,766 |
| typelevel/cats-parse | A Scala parsing library designed to be compatible, performant, safe, and stable across various platforms and versions. | 235 |
 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 | 57 |
| 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. | 936 |