43 open source projects by typelevel

A small companion to cats

Logging Tools For Interaction with cats-effect

Library of utilities for tagless final encoded algebras

cats transformer type classes.

Spire's macros for zero-cost operator enrichment

an implementation of Wadler's a prettier printer

Compositional, streaming I/O library for Scala

Property-based testing for Scala

Powerful new number types and numeric abstractions for Scala.

A parsing library for the cats ecosystem

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

Sample project demonstrating use of fs2-io to build a chat client and server

The pure asynchronous runtime for Scala

Interoperability libraries & additional data structures and instances for Scalaz

First class syntax support for type classes in Scala

Compiler plugin for making type lambdas (type projections) easier to write

The Scala API for Quantities, Units of Measure and Dimensional Analysis

Expressive types for Spark.

Data structures for pure functional programming in Scala

Lightweight, modular, and extensible library for functional programming.

Automatic type class derivation for Cats

Jawn is for parsing jay-sawn (JSON)

Experimental project to lay out basic algebra type classes

Flexible law checking for Scala

Scala sample code for Bartosz Milewski's CT for Programmers

Typelevel Scala, a fork of Scala

No description, website, or topics provided.

Integration between jawn and fs2

sbt utilities for open source projects

Simulacrum as Scalafix rules

Library to support automatic labeling of ScalaCheck properties.

Interoperability libraries for Shapeless

Typelevel's very own CryptoKitties!

Cats Testkit for Scalatest

Integration library for MUnit & cats-effect

MUnit binding for Typelevel Discipline

gRPC implementation for FS2/cats-effect

Cats Instances for Java Time

An incubator project for async/await syntax support for Cats Effect

Repository for general Typelevel information, activity and issues

No description, website, or topics provided.

Generic programming for Scala

Integration between cats-effect and test frameworks