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
- Limits of Scala typechecking speed☆155Updated 3 years ago
- A Scala compiler plugin for mutual tail recursion☆88Updated 5 years ago
- An exploration of purely functional library design in Scala.☆103Updated 8 years ago
- ☆83Updated 5 years ago
- Transform and compose tagless final encoded algebras in scala☆94Updated 6 years ago
- A scala macro for reasonable lazy semantics☆84Updated 2 weeks ago
- Provides immutable datatypes for working with bits and bytes☆116Updated last week
- Seamless interop layer between cats and scalaz☆174Updated 4 years ago
- ☆53Updated 4 years ago
- A reactive streams implementation for fs2☆63Updated 5 years ago
- Java NIO utilities for usage with Monix☆52Updated 3 years ago
- Spire's macros for zero-cost operator enrichment☆191Updated 5 years ago
- A template engine for Scala☆52Updated 4 years ago
- Scalameta tutorial☆71Updated 3 years ago
- an implementation of Wadler's a prettier printer☆188Updated 2 weeks ago
- Birds and cats together☆140Updated 2 weeks ago
- Modified version of dotty suporting language specific and library-specific optimizations☆37Updated 8 years ago
- Build tool for Scala projects☆237Updated 4 years ago
- Typelevel Scala, a fork of Scala☆371Updated 4 years ago
- Allows logging in a tree structure so that comprehensive logging does not become incomprehensible☆220Updated 2 months ago
- Build your web API on the type level.☆159Updated 5 years ago
- Archived - Scala Macros☆123Updated 6 years ago
- (No longer actively maintained.)☆157Updated 6 months 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
- Populate Case Classes From Any Data Source☆84Updated 4 years ago
- A dimensional analysis library based on dependent types☆198Updated 7 months ago
- Scala Quick API☆69Updated 2 years ago
- IO types and classes for Scala.☆42Updated 8 years ago
- Getting started in the Scala REPL☆28Updated 9 years ago
- The pure testing library by scalaz.☆89Updated 5 years ago