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
Sorting:
- The pure testing library by scalaz.☆89Updated 5 years ago
- Materials for workshop on Type-level programming with Shapeless☆39Updated 4 years ago
- Finally Tagless Blocking Implementation☆92Updated 2 years ago
- ☆83Updated 5 years ago
- ☆26Updated 4 years ago
- ☆13Updated last year
- enforce the Scalazzi subset of Scala with scalafix☆83Updated 6 years ago
- 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
- Non-blocking AWS SDK for Scala exposing strongly-typed APIs built on top of http4s, fs2 and cats☆85Updated 6 years ago
- Unofficial Giter8 template for the Typelevel Stack (Http4s / Doobie / Circe / Cats Effect / Fs2) based on Cats v1.x.x☆63Updated 6 years ago
- Seamless interop layer between cats and scalaz☆174Updated 4 years ago
- Freek, a freaky simple Free to combine your DSL seamlessly☆198Updated 8 years ago
- Fully working client + server, dev + prod setup for Scala.js development, showcasing a bunch of Laminar & Scala.js patterns.☆56Updated 2 months ago
- Fast [co]product types with a clean syntax. For Cats & Scalaz.☆178Updated 5 years ago
- An exploration of purely functional library design in Scala.☆103Updated 9 years ago
- Asynchronous data type with typed errors.☆82Updated 9 months ago
- A STM implementation for Cats Effect☆148Updated 3 weeks ago
- Kafka Streams for Scala. Integrates KafkaStreams with the cats-effect ecosystem☆87Updated 9 months ago
- ☆79Updated 4 years ago
- Generate bindings for Scala types in other programming languages.☆56Updated 6 months ago
- Full program static analysis for Scala☆95Updated 3 years ago
- Proof of concept for a cats-like library built using Dotty features☆117Updated 11 months ago
- Example app that uses doobie, http4s, and Sangria to serve GraphQL.☆84Updated 3 years ago
- Type calculations at compile time☆40Updated 5 years ago
- Next Level MTL for Scala☆163Updated 2 years ago
- A microlibrary for Scala encodings of higher-rank quantifiers☆59Updated 5 years ago
- A reactive streams implementation for fs2☆63Updated 5 years ago
- Scala library for free applicative schemas capable of parsing/rendering sums-of-products data structures.☆108Updated 6 years ago
- ☆28Updated 7 years ago