zheli / scala-lsp
Scala layer for Spacemacs, using lsp + metals instead of ensime.
☆17Updated 5 years ago
Alternatives and similar repositories for scala-lsp:
Users that are interested in scala-lsp are comparing it to the libraries listed below
- Finally Tagless Blocking Implementation☆92Updated 2 years ago
- The pure testing library by scalaz.☆89Updated 5 years ago
- Scala support for lsp-mode using metals☆48Updated 5 years ago
- An exploration of purely functional library design in Scala.☆103Updated 8 years ago
- Generalized recursion schemes and traversals for Scala, using Cats.☆48Updated 6 years ago
- Materials for workshop on Type-level programming with Shapeless☆39Updated 4 years ago
- Build your web API on the type level.☆159Updated 5 years ago
- ☆26Updated 4 years ago
- ☆83Updated 5 years ago
- enforce the Scalazzi subset of Scala with scalafix☆82Updated 6 years ago
- A microlibrary for Scala encodings of higher-rank quantifiers☆59Updated 4 years ago
- A small library for writing referentially transparent and stack-safe sequential programs☆40Updated 6 years ago
- Macros to scrap ZIO boilerplate☆32Updated 5 years ago
- Generate bindings for Scala types in other programming languages.☆56Updated 6 months ago
- Type calculations at compile time☆40Updated 5 years ago
- Transform and compose tagless final encoded algebras in scala☆94Updated 6 years ago
- Abstract Type Member Parallel Instances☆61Updated 4 years ago
- Asynchronous data type with typed errors.☆82Updated 8 months ago
- Proof of concept for a cats-like library built using Dotty features☆117Updated 10 months ago
- Project for cached compiation plugins for sbt☆79Updated 4 years ago
- A reactive streams implementation for fs2☆63Updated 5 years ago
- Library to support automatic labeling of ScalaCheck properties.☆69Updated 5 months ago
- Type safe RPC in scala☆99Updated this week
- ☆13Updated last year
- What it says on the tin!☆47Updated 2 months ago
- A test framework that runs everything in parallel.☆52Updated last month
- A ZIO + http4s + Circe + Quill + Tapir giter8 template☆107Updated 4 years ago
- ☆27Updated 2 weeks ago
- Comprehensions for Arrows and Monoidal categories☆61Updated 5 months ago
- Declarative bidirectional codecs for DynamoDb AttributeValue, SDK 2☆43Updated 3 months ago