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
- Scala support for lsp-mode using metals☆48Updated 5 years ago
- What it says on the tin!☆48Updated last month
- Generalized recursion schemes and traversals for Scala, using Cats.☆48Updated 6 years ago
- Build your web API on the type level.☆159Updated 5 years ago
- ☆26Updated 4 years ago
- ☆13Updated last year
- The pure testing library by scalaz.☆89Updated 5 years ago
- A microlibrary for Scala encodings of higher-rank quantifiers☆59Updated 4 years ago
- Abstract Type Member Parallel Instances☆61Updated 4 years ago
- Proof of concept for a cats-like library built using Dotty features☆117Updated 10 months ago
- Materials for workshop on Type-level programming with Shapeless☆39Updated 4 years ago
- Functional Scala Cache☆58Updated 3 months ago
- Library to support automatic labeling of ScalaCheck properties.☆69Updated 4 months ago
- Scalacheck Arbitrary type class derivation using magnolia☆10Updated 2 years ago
- Type calculations at compile time☆40Updated 5 years ago
- A reactive streams implementation for fs2☆63Updated 5 years ago
- A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.☆73Updated 5 years ago
- Generate bindings for Scala types in other programming languages.☆56Updated 5 months ago
- Non-blocking AWS SDK for Scala exposing strongly-typed APIs built on top of http4s, fs2 and cats☆85Updated 6 years ago
- Event sourcing utilities for FS2☆80Updated 6 months ago
- An experimental 3D game built with ZIO and OpenGL (LWJGL)☆57Updated 4 years ago
- An Unexceptional IO type for Cats☆49Updated 6 years ago
- Asynchronous data type with typed errors.☆82Updated 7 months ago
- Frontend state management library for cats-effect☆27Updated 3 years ago
- Comprehensions for Arrows and Monoidal categories☆61Updated 4 months ago
- Fun and Games with Fix, Cofree, and Doobie☆40Updated 8 years ago
- ☆115Updated 3 years ago
- Replacing Akka Actors with Cats Effect and FS2☆43Updated 5 years ago
- Kafka Streams for Scala. Integrates KafkaStreams with the cats-effect ecosystem☆87Updated 8 months ago