refined
by fthomas
Refinement types for Scala
AI summary
Type constraint library
A Scala library that allows adding constraints to types at compile-time using type-level predicates.
- stars
- 1.7K
- forks
- 154
- watching
- 23
Similar projects
Found by comparing what the projects do, not just their names.
Type class library
A library that simplifies the use of type classes in Scala
Type constraint library
An ecosystem of singleton types in Haskell to enforce rich constraints among types in programs.
Type system formalism
A project that formalizes refinement types and dependent types in the Agda language
typelevel/doobie2.2K
Database abstraction library
A functional JDBC layer that abstracts database interactions in a Scala-based programming language
Monad library
A Scala macro-based library for creating typelevel monads with first-class support in IntelliJ
Database library
A data access library for building Scala applications that interact with Postgres databases.
JSON CRDT library
A high-level API to the conflict-free replicated JSON datatype in Scala
Category theory guide
A comprehensive guide to abstractions from Category theory in functional programming with implementation examples and links to further resources.
Constraint library
An Auto Layout library that simplifies constraint creation and reduces code verbosity
Numerical library
A numeric library for Scala providing powerful number types and abstractions for generic, fast, and precise computations.
Parser library
A Scala parsing library designed to be compatible, performant, safe, and stable across various platforms and versions.
Linear type library
A standard library providing minimal facilities to write practical code with linear types in Haskell.
Type system library
A Haskell library for working with refined types to represent and manipulate data structures
Quantity framework
A framework for representing quantities and their dimensional relationships in a type-safe way
Compression library
A library that provides bindings to various compression formats.
