liufengyun / dotty-studyLinks
Study dotty source code using org-mode
☆10Updated 8 years ago
Alternatives and similar repositories for dotty-study
Users that are interested in dotty-study are comparing it to the libraries listed below
Sorting:
- A tour of some Typelevel libraries☆25Updated 7 years ago
- Hacky applicative-style for comprehensions for Scala.☆37Updated 3 years ago
- Brent Yorgey's Typeclassopedia, translated to Scala☆24Updated 7 years ago
- Comparison between different patterns☆27Updated 7 years ago
- Annotated Scala version of Oleg's Typed Tagless Final Interpreters: Lecture Notes☆33Updated 7 years ago
- Forget your methods☆41Updated 7 years ago
- WIP - Scalameta powered code generation☆41Updated 7 years ago
- ☆11Updated 5 years ago
- A utility harness for testing free programs (built on specs2)☆29Updated 4 years ago
- Frege support for sbt☆53Updated last week
- A library to provide building blocks for stateful stream processing with FS2 over Kafka☆25Updated 6 years ago
- Leibniz equivalence and Liskov substitutability library for Scala.☆37Updated 3 years ago
- TypeLevel Programming in Scala☆15Updated 8 years ago
- Access Scala language features on the type-level☆31Updated 9 months ago
- Fun and Games with Fix, Cofree, and Doobie☆41Updated 8 years ago
- Static annotations for Kittens for people who don't like to write semiautomatic derivations into companion objects themselves.☆42Updated 4 years ago
- Integration between jawn and fs2☆38Updated last week
- Interop between fs2 and cats☆43Updated 4 years ago
- Workshop on typeclasses in scala☆26Updated 7 years ago
- ☆29Updated 5 years ago
- Typeclass-based HashSet/HashMap for Scala☆31Updated 8 years ago
- encoding of Rúnar's "Reasonably priced monads"☆22Updated 10 years ago
- Provides protection against cascading failures and system overload.☆28Updated last year
- ☆46Updated 5 years ago
- Abstract Type Member Parallel Instances☆61Updated 4 years ago
- Scala implementation of "Freer Monads, More Extensible Effects" - see http://okmij.org/ftp/Haskell/extensible/more.pdf☆49Updated 4 months ago
- Getting started in the Scala REPL☆28Updated 9 years ago
- Free wrapper specialized to Coproducts of DSL/Containers☆24Updated 8 years ago
- Library that eases the usage of Free Monads based on cats and allows to compose multiple free monads into one.☆18Updated 8 years ago
- A tutorial on how to embed subset of Joy into Scala via extensible string interpolation and macros☆33Updated 5 years ago