milessabin

BlockHound

Java agent to detect blocking calls from non-blocking threads.

better-monadic-for

Desugaring scala `for` without implicit `withFilter`s

rainier

Bayesian inference in Scala.

aecor

Pure functional event sourcing runtime

cats-mtl

cats transformer type classes.

sbt-dynver

An sbt plugin to dynamically set your version from git

sbt-ci-release

sbt plugin to automate Sonatype releases from GitHub Actions

curryhoward

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

squid

Squid – type-safe metaprogramming and compilation framework for Scala

scala-typed-holes

typedapi

Build your web API on the type level.

chymyst-core

Declarative concurrency in Scala - The implementation of the chemical machine

cats-stm

A STM implementation for Cats Effect

pine

Functional HTML5 and XML library for the Scala platform

verify

Scala Verify is a minimal testing framework for Scala. Trust, but verify.

data-class

case-classes with better binary compatibility story

scala-unboxed-option

A type-parametric unboxed Option type for Scala

managedt

A monad for resource acquisition and cleanup

pascal

Concise syntax for polymorphic values in Scala.

scala-runners

Scala Runners: a Coursier-based alternative implementation

alphabet-soup

Type calculations at compile time

parsecat

Pure functional parser combinator library which supports both applicative and monadic styles of parsing.

Monocly

Optics experimentation for Dotty

dotty

Scala with explicit nulls

subml

SubML (prototype) language

shapeless-utils

type-classes for structural manipulation of algebraic data types

scalaz2cats

Scalafix migrations from Scalaz to Cats

reeds

Reads typeclass for Scala

shapeless-feat

Shapeless Generic Functional Enumeration of Algebraic Data Types for Scala

scala-telescope

Pure profunctor lenses atop Cats