scala_typeclassopedia
Typeclass documentation
A comprehensive documentation of abstractions and implementation details in the context of category theory and functional programming
Abstractions from Category theory with simple description & implementation, links to further resources.
378 stars
20 watching
39 forks
Language: Scala
last commit: 16 days ago
Linked from 1 awesome list
category-teoryfunctional-programmingpatternsscala
lauris/awesome-scalaRelated projects:
| Repository | Description | Stars |
|---|---|---|
 typelevel/simulacrum | A library that simplifies the use of type classes in Scala | 936 |
 scalameta/mdoc | A tool for creating and validating documentation for Scala programs written in Markdown format | 396 |
 scala-records/scala-records | Data structures for working with semi-structured data in Scala | 159 |
 com-lihaoyi/pprint | A Scala library that provides a way to visually represent values and types in programming languages | 226 |
 scalalandio/chimney | A library for boilerplate-free data transformations using type-safe mapping and automatic conversion. | 1,174 |
| typelevel/doobie | A functional JDBC layer that abstracts database interactions in a Scala-based programming language | 2,171 |
| scalameta/scalameta | An integrated development environment for Scala programming languages | 1,116 |
 lysxia/first-class-families | A library providing a foundation for type-level functions and compositions in Haskell | 86 |
 nigredo-tori/classy | Library providing Haskell-style typeclasses for defining function compositions on generic data structures in Nim | 28 |
| typelevel/laika | A tool that helps generate documents with customizable text markup and support for multiple output formats | 415 |
 williamdemeo/typefunc | Collects links and resources on type theory and functional programming. | 309 |
 thma/ltupatternfactory | Maps software design patterns to Haskell type class concepts and functional programming structures | 994 |
 lexifi/lrt | A package providing runtime type representations and a syntax extension to synthesize them from OCaml types | 32 |
| typelevel/spire | A numeric library for Scala providing powerful number types and abstractions for generic, fast, and precise computations. | 1,764 |
 scalaprops/scalaprops-shapeless | A library that generates arbitrary case classes with scalaprops and shapeless properties | 10 |