dotty-staging / dotty
Research platform for new language concepts and compiler technologies for Scala.
☆85Updated this week
Alternatives and similar repositories for dotty
Users that are interested in dotty are comparing it to the libraries listed below
Sorting:
- A Scala compiler plugin for mutual tail recursion☆88Updated 5 years ago
- A reactive streams implementation for fs2☆63Updated 5 years ago
- Transform and compose tagless final encoded algebras in scala☆94Updated 6 years ago
- An exploration of purely functional library design in Scala.☆103Updated 9 years ago
- Automatic typeclass-based abstraction over monad-like types☆54Updated 4 years ago
- Seamless interop layer between cats and scalaz☆174Updated 4 years ago
- Performant, purely-functional, low-level, and unopinionated wrapper around Java NIO functionality☆84Updated 5 years ago
- Over-Complicated Database Query using higher-kinded data☆35Updated 4 years ago
- Provides the geny.Generator data type, the dual to a scala.Iterator that can ensure resource cleanup☆95Updated 6 months ago
- Java NIO utilities for usage with Monix☆52Updated 3 years ago
- A template engine for Scala☆52Updated 4 years ago
- ☆83Updated 5 years ago
- A scala macro for reasonable lazy semantics☆84Updated last month
- An sbt plugin that integrates Eta into Scala projects.☆57Updated 6 years ago
- Populate Case Classes From Any Data Source☆84Updated 4 years ago
- Limits of Scala typechecking speed☆155Updated 4 years ago
- Provides immutable datatypes for working with bits and bytes☆116Updated last week
- Scala Quick API☆69Updated 3 years ago
- Build your web API on the type level.☆159Updated 5 years ago
- Finally Tagless Blocking Implementation☆92Updated 2 years ago
- an implementation of Wadler's a prettier printer☆188Updated last week
- Scala Spores, safe mobile closures.☆127Updated 7 years ago
- Multisets for Scala☆85Updated 3 years ago
- A microlibrary for Scala encodings of higher-rank quantifiers☆59Updated 5 years ago
- A purely-functional library for defining type-safe schemas for algebraic data types, providing free generators, SQL queries, JSON codecs,…☆164Updated 5 years ago
- Birds and cats together☆140Updated last week
- ☆53Updated 4 years ago
- The pure testing library by scalaz.☆89Updated 5 years ago
- Patterns for building interpreters in Scala☆51Updated 7 years ago
- Modified version of dotty suporting language specific and library-specific optimizations☆37Updated 8 years ago