milessabin

insomnia

The open-source, cross-platform API client for GraphQL, REST, WebSockets, SSE and gRPC. With Cloud, Local and Git storage.

Idris2

A purely functional programming language with first class types

metals

Scala language server with rich IDE features 🚀

web3

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.

skunk

A data access library for Scala + Postgres.

awesome-recursion-schemes

Resources for learning and using recursion schemes.

scala-steward

:robot: A bot that helps you keep your projects up-to-date

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

nvim-metals

A Metals plugin for Neovim

log4cats

Logging Tools For Interaction with cats-effect

droste

recursion schemes for cats; to iterate is human, to recurse, divine

natchez

functional tracing for cats

libra

A dimensional analysis library based on dependent types

scala-graal

Make usage of Graal features easy and safe from Scala. Also features Scala-based React SSR.

sbt-github-actions

An sbt plugin which makes it easier to build with GitHub Actions

dotty-cps-async

experimental CPS transformer for dotty

coc-metals

Deprecated in favor of scalameta/nvim-metals

grackle

Grackle: Functional GraphQL for the Typelevel stack

circe-golden

Golden testing for Circe

KafkaStreams4s

Kafka Streams for Scala. Integrates KafkaStreams with the cats-effect ecosystem

sbt-welcome

An SBT plugin for displaying a welcome message and commonly used tasks.

scala-open-letter.github.io

idris2-elab-util

Utilities and documentation for exploring idirs2's new elaborator reflection.

generic-syntax

A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs

scala-library-next

backwards-binary-compatible Scala standard library additions

Scala-Resources

A list of the best resources to learn Scala

metals-gitpod-sample

discipline-scalatest

ScalaTest binding for Discipline

sbt-jfr

An sbt plugin to configure Java Flight Recorder

sbt-trickle

Trickles down updated dependencies across repositories