DanielaSfregola / tutorial-cat
Workshop Pragmatic Introduction to Category Theory
☆127Updated 3 years ago
Alternatives and similar repositories for tutorial-cat:
Users that are interested in tutorial-cat are comparing it to the libraries listed below
- property based testing library for Scala☆278Updated this week
- The repository for the Functional Scala workshop.☆177Updated 5 years ago
- Real World Functional Programming with ZIO☆195Updated 2 years ago
- Library of utilities for tagless final encoded algebras☆320Updated this week
- recursion schemes for cats; to iterate is human, to recurse, divine☆387Updated this week
- Scala Exercises' lessons for the Cats library☆107Updated last year
- Exercises for the course 'Functional Design by John A. De Goes☆236Updated 6 months ago
- Scala sample code for Bartosz Milewski's CT for Programmers☆278Updated 6 years ago
- Generation of arbitrary case classes / ADTs instances with scalacheck and shapeless☆239Updated 6 months ago
- Eff monad for cats - https://atnos-org.github.io/eff☆584Updated this week
- Example code to accompany shapeless-guide.☆133Updated 2 years ago
- source and examples to Functional Programming for Mortals with Scalaz☆127Updated 4 years ago
- cats transformer type classes.☆311Updated this week
- Purely Functional Transaction Management In Scala With ZIO☆231Updated last year
- Fast & Functional logger in Scala☆313Updated 6 months ago
- functional tracing for cats☆330Updated this week
- Statically-checked inline matching on regular expressions in Scala☆165Updated 3 weeks ago
- Additional accompaniment to Functional and Reactive Domain Modeling☆110Updated 8 months ago
- A dimensional analysis library based on dependent types☆199Updated 6 months ago
- NewTypes for Scala with no runtime overhead☆544Updated 3 years ago
- Random generator of test data in Scala based on Scalacheck and Shapeless☆188Updated 6 months ago
- Add efficient pipelining, batching, and caching to any data source☆150Updated 4 months ago
- Flexible law checking for Scala☆331Updated this week
- typeclass diagram for cats☆461Updated 3 years ago
- Freek, a freaky simple Free to combine your DSL seamlessly☆198Updated 8 years ago
- Syntactic sugar for monad composition in Scala☆279Updated 6 months ago
- Lunatech course - "Moving forward from Scala 2 to Scala 3"☆206Updated 8 months ago
- Todo-Backend (https://www.todobackend.com/) implementation using ZIO, http4s, doobie and circe☆254Updated last month
- The exercises for the Functional Effects workshop☆194Updated 2 years ago
- ☆187Updated 2 months ago