lrytz / efftp
☆83Updated 11 years ago
Alternatives and similar repositories for efftp:
Users that are interested in efftp are comparing it to the libraries listed below
- ☆35Updated 9 years ago
- A compiler plug-in to control object lifetimes in Scala☆63Updated 7 years ago
- Everything you need to make type classes first class.☆61Updated 8 years ago
- Scala compiler plugin which provides syntax for working with locally declared implicit values☆54Updated 9 years ago
- Alternative to Free monads☆34Updated 8 years ago
- Leibniz equivalence and Liskov substitutability library for Scala.☆37Updated 2 years ago
- Library for counting and enumerating things.☆46Updated 3 years ago
- Scala implementation of "Freer Monads, More Extensible Effects" - see http://okmij.org/ftp/Haskell/extensible/more.pdf☆49Updated last month
- A fast parser combinator library, with extra querying goodness☆34Updated 8 years ago
- ☆27Updated 9 years ago
- Proof-of-concept Prolog compiler that compiles down to Scala implicits.☆20Updated 9 years ago
- encoding of Rúnar's "Reasonably priced monads"☆22Updated 10 years ago
- Fix for SI-2712 implemented as a compiler plugin for Scala 2.11.8 and 2.10.6☆47Updated 7 years ago
- gestalt : portable and solid macros for Scala☆31Updated 7 years ago
- A regular expression type provider demo☆40Updated 9 years ago
- Data structure experimentation in scala☆15Updated 9 years ago
- IO types and classes for Scala.☆42Updated 8 years ago
- A library for genericly composing/lifting operations in a stack of monadic contexts☆16Updated 10 years ago
- Type-level API for standard collections☆33Updated 8 years ago
- Concise syntax for polymorphic values in Scala 2.x.☆53Updated 2 years ago
- Modified version of dotty suporting language specific and library-specific optimizations☆37Updated 8 years ago
- Monadic folds☆70Updated 2 years ago
- An exploration of purely functional library design in Scala.☆104Updated 8 years ago
- Slides and code for my "F-Bounded Polymorphism" talk☆17Updated 7 years ago
- A Scala implementation of hedgehog using the typelevel libraries☆29Updated 5 years ago
- Forget your methods☆41Updated 7 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
- Frege support for sbt☆53Updated last week
- Typeclass-based HashSet/HashMap for Scala☆31Updated 7 years ago
- Brent Yorgey's Typeclassopedia, translated to Scala☆24Updated 7 years ago