Stars
Grackle: Functional GraphQL for the Typelevel stack
Making sense of web3 & crypto. Introduction to key concepts and ideas. Rigorous, constructive analysis of key claims pro and con. A look at the deeper hopes and aspirations.
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
A list of the best resources to learn Scala
Utilities and documentation for exploring idirs2's new elaborator reflection.
Resources for learning and using recursion schemes.
The open-source, cross-platform API client for GraphQL, REST, WebSockets, SSE and gRPC. With Cloud, Local and Git storage.
Logging Tools For Interaction with cats-effect
experimental CPS transformer for dotty
backwards-binary-compatible Scala standard library additions
An SBT plugin for displaying a welcome message and commonly used tasks.
Kafka Streams for Scala. Integrates KafkaStreams with the cats-effect ecosystem
Make usage of Graal features easy and safe from Scala. Also features Scala-based React SSR.
A dimensional analysis library based on dependent types
A purely functional programming language with first class types
A collaborative bibliography of work related to the theory and practice of computational effects
Trickles down updated dependencies across repositories
Deprecated in favor of scalameta/nvim-metals
Scala language server with rich IDE features 🚀
An sbt plugin which makes it easier to build with GitHub Actions
recursion schemes for cats; to iterate is human, to recurse, divine