Brent Yorgey's Typeclassopedia, translated to Scala
☆26Nov 7, 2017Updated 8 years ago
Alternatives and similar repositories for scala-typeclassopedia
Users that are interested in scala-typeclassopedia are comparing it to the libraries listed below
Sorting:
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 10 years ago
- doobie integration with quill☆22Jul 8, 2019Updated 6 years ago
- Source code for the Interpreters workshop at Scala Exchange 2015.☆27Dec 12, 2015Updated 10 years ago
- yet another testing framework for Scala☆20May 16, 2017Updated 8 years ago
- Scalatest bindings for scalaz.☆23Feb 19, 2017Updated 9 years ago
- ☆19Apr 28, 2019Updated 6 years ago
- A reasonable logging library for Scala☆85Dec 14, 2017Updated 8 years ago
- Fast, simple Free Monads using ScalaMeta macro annotations. Port of Freasy-Monad.☆14Oct 16, 2017Updated 8 years ago
- A typeclass and set of functions for working with newtypes.☆10May 19, 2022Updated 3 years ago
- An implementation of Huet’s Zipper for Scala and Scala.js that is intended to be usable in many common scenarios☆49Aug 18, 2024Updated last year
- How hard could it be to replace SBT?☆59Sep 4, 2020Updated 5 years ago
- Conway's Game of Life implemented in Scala.js☆10Mar 30, 2018Updated 7 years ago
- Common sbt plugins for Play modules☆12Oct 21, 2023Updated 2 years ago
- Concise syntax for polymorphic values in Scala 2.x.☆55Apr 26, 2022Updated 3 years ago
- Workshop on typeclasses in scala☆27Oct 2, 2017Updated 8 years ago
- Shipwire API client☆16Nov 17, 2017Updated 8 years ago
- A Play! Framework 2 Filter that limits the concurrently processed requests and queues requests exceeding this limit☆12Oct 22, 2014Updated 11 years ago
- Command line parsing library using Free Applicative☆27Mar 13, 2020Updated 5 years ago
- A scala macro for reasonable lazy semantics☆85Feb 23, 2026Updated last week
- A master-class in Origami - from primitive recursions to Kan-extension-based Folds☆14Nov 21, 2017Updated 8 years ago
- ☆19Aug 4, 2025Updated 6 months ago
- A small collection of scalacheck generators.☆16Aug 17, 2017Updated 8 years ago
- An HTTP Server and Client library for Scala.☆92Aug 12, 2024Updated last year
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 7 years ago
- Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.☆14Apr 5, 2017Updated 8 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 9 years ago
- Abstract Type Member Parallel Instances☆61Jun 19, 2020Updated 5 years ago
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Feb 10, 2026Updated 3 weeks ago
- Dead-simple dependency injection with the uh, coreader comonad?☆13May 8, 2016Updated 9 years ago
- A type-safe Haskell client for the Shopify API.☆12Jan 5, 2015Updated 11 years ago
- Play2 ActionBuilder Composition Support☆15Dec 4, 2018Updated 7 years ago
- Simple two-dimensional matrices backed by a flat array☆18Feb 24, 2020Updated 6 years ago
- User-friendly lens syntax for mortals. Update values inside of nested case class instances without .copy .☆30Dec 18, 2018Updated 7 years ago
- A toolkit for creating REST services with Node and PureScript☆32Jan 26, 2017Updated 9 years ago
- Simple extensible product☆36Dec 1, 2020Updated 5 years ago
- An effect monad for Scalaz 7.2☆55Jun 29, 2018Updated 7 years ago
- Alternative to Free monads☆34Oct 15, 2016Updated 9 years ago
- A type class which captures stack-safe monadic tail recursion☆38May 17, 2022Updated 3 years ago
- ScalikeJDBC DSL by Free Monad☆15Oct 2, 2016Updated 9 years ago