typelevel

The pure asynchronous runtime for Scala

Property-based testing for Scala

Expressive types for Spark.

Jawn is for parsing jay-sawn (JSON)

Experimental project to lay out basic algebra type classes

A small companion to cats

Flexible law checking for Scala

Library of utilities for tagless final encoded algebras

cats transformer type classes.

An OpenTelemetry library for Scala based on Cats-Effect

Integration between cats-effect and test frameworks

an implementation of Wadler's a prettier printer

Let sbt work for you.

Development tools for Typelevel projects

Proof of concept for a cats-like library built using Dotty features

Quickstart your next app with the Typelevel Toolkit!

Cooperative multithreading as a pure monad transformer

Micro-library for building effectful protocols