zheli / scala-lspLinks
Scala layer for Spacemacs, using lsp + metals instead of ensime.
☆17Updated 6 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:
- Build your web API on the type level.☆159Updated 6 years ago
- Finally Tagless Blocking Implementation☆92Updated 3 years ago
- The pure testing library by scalaz.☆89Updated 5 years ago
- enforce the Scalazzi subset of Scala with scalafix☆83Updated 6 years ago
- A STM implementation for Cats Effect☆148Updated last month
- Purely functional HTTP client☆174Updated 2 years ago
- ☆188Updated 8 months ago
- What it says on the tin!☆47Updated 3 weeks ago
- Scala support for lsp-mode using metals☆49Updated 6 years ago
- Seamless interop layer between cats and scalaz☆174Updated 4 years ago
- Example app that uses doobie, http4s, and Sangria to serve GraphQL.☆84Updated 3 years ago
- Proof of concept for a cats-like library built using Dotty features☆117Updated last year
- Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism☆259Updated 2 months ago
- Dotty way of writing Scala 2 code☆121Updated 4 years ago
- A microlibrary for Scala encodings of higher-rank quantifiers☆59Updated 5 years ago
- Rrecursion schemes without the barbed wire☆24Updated 7 years ago
- ☆83Updated 5 years ago
- Quickstart your next app with the Typelevel Toolkit!☆98Updated this week
- Comprehensions for Arrows and Monoidal categories☆61Updated last month
- Asynchronous data type with typed errors.☆82Updated last year
- Next Level MTL for Scala☆164Updated 2 years ago
- ☆13Updated last year
- Grackle: Functional GraphQL for the Typelevel stack☆181Updated this week
- CircuitBreaker is used to provide stability and prevent cascading failures in distributed systems.☆46Updated 11 months ago
- ZIO-powered client for AWS SQS☆84Updated last month
- A dimensional analysis library based on dependent types☆199Updated 11 months ago
- Full program static analysis for Scala☆95Updated 3 years ago
- Library of utilities for tagless final encoded algebras☆321Updated last week
- Fast [co]product types with a clean syntax. For Cats & Scalaz.☆177Updated 5 years ago
- Generalized recursion schemes and traversals for Scala, using Cats.☆48Updated 6 years ago