Top 35 typelevel open source projects

A small companion to cats

Purely functional HTTP client

A minimal, idiomatic Scala interface for HTTP

Build your web API on the type level.

Functional JDBC layer for Scala.

Asynchronous, Reactive Programming for Scala and Scala.js.

Composable, purely functional healthchecks in Scala.

🌈 Code samples of advanced features of Http4s in combination with some features of Fs2 not often seen.

coulomb: unit analysis for Scala

Optics library for Scala

Simple refinement types for Scala

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

Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.

Asynchronous data type with typed errors.

A data access library for Scala + Postgres.

🌠 Purely functional Apache Pulsar client for Scala built on top of Fs2

C++ Flavored Template Metaprogramming in Scala

An implementation of the java pet store using FP techniques in scala

Expressive types for Spark.

Scala combinator library for working with binary data

doc/tutorial generator for scala

typeclass diagram for cats

Experimental project to lay out basic algebra type classes

Generic programming for Scala

Flexible law checking for Scala

A small library for converting between case classes.

An implementation of Fibonacci Anyons in Haskell

Type calculations at compile time

http4s, in a browser near you

An effort to statically type xstate

Web modules built on Http4s

Data migrations through implicit function composition at the type-level

Just an SBT plugin that enforces some organizational policies and settings across all of your projects

Repository for general Typelevel information, activity and issues

📚 Unofficial Giter8 template for the Typelevel Stack (Http4s / Doobie / Circe / Cats Effect / Fs2) based on Cats v1.x.x