scala_typeclassopedia
Category theory guide
A comprehensive guide to abstractions from Category theory in functional programming with implementation examples and links to further resources.
Abstractions from Category theory with simple description & implementation, links to further resources.
379 stars
20 watching
39 forks
Language: Scala
last commit: about 1 month 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 | 935 |
 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 | 228 |
 scalalandio/chimney | A Scala library for automating data transformations without boilerplate code. | 1,181 |
| typelevel/doobie | A functional JDBC layer that abstracts database interactions in a Scala-based programming language | 2,177 |
| scalameta/scalameta | An integrated development environment for Scala programming languages | 1,121 |
 lysxia/first-class-families | A library providing a foundation for type-level functions and compositions in Haskell | 87 |
 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 | 424 |
 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 | 995 |
 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,766 |
 scalaprops/scalaprops-shapeless | A library that generates arbitrary case classes with scalaprops and shapeless properties | 10 |