Projects in Awesome Lists by typelevel
A curated list of projects in awesome lists by typelevel .
https://github.com/typelevel/cats
Lightweight, modular, and extensible library for functional programming.
Last synced: 13 May 2025
https://github.com/typelevel/fs2
Compositional, streaming I/O library for Scala
fp functional-programming scala stream streaming-computation
Last synced: 11 Jan 2026
https://github.com/typelevel/doobie
Functional JDBC layer for Scala.
database fp functional-programming jdbc scala typelevel
Last synced: 13 May 2025
https://github.com/typelevel/cats-effect
The pure asynchronous runtime for Scala
asynchronous effects fp scala typeclasses
Last synced: 13 May 2025
https://github.com/typelevel/scalacheck
Property-based testing for Scala
property-testing scala scalacheck
Last synced: 13 May 2025
https://github.com/typelevel/spire
Powerful new number types and numeric abstractions for Scala.
Last synced: 17 Dec 2025
https://github.com/typelevel/skunk
A data access library for Scala + Postgres.
cats cats-effect database fs2 functional-programming postgres scala scodec typelevel
Last synced: 14 May 2025
https://github.com/typelevel/squants
The Scala API for Quantities, Units of Measure and Dimensional Analysis
Last synced: 31 Jul 2025
https://github.com/typelevel/kind-projector
Compiler plugin for making type lambdas (type projections) easier to write
Last synced: 31 Jul 2025
https://github.com/typelevel/frameless
Expressive types for Spark.
fp functional-programming scala spark typelevel
Last synced: 14 May 2025
https://github.com/typelevel/cats-collections
Data structures for pure functional programming in Scala
Last synced: 31 Jul 2025
https://github.com/typelevel/sbt-tpolecat
scalac options for the enlightened
compiler-options sbt sbt-plugin scala
Last synced: 07 Feb 2026
https://github.com/typelevel/log4cats
Logging Tools For Interaction with cats-effect
Last synced: 31 Jul 2025
https://github.com/typelevel/natchez
functional tracing for cats
cats cats-effect honeycomb jaeger opentracing scala tracing
Last synced: 15 May 2025
https://github.com/typelevel/cats-tagless
Library of utilities for tagless final encoded algebras
functional-programming scala tagless
Last synced: 31 Jul 2025
https://github.com/typelevel/fs2-grpc
gRPC implementation for FS2/cats-effect
Last synced: 31 Jul 2025
https://github.com/typelevel/cats-parse
A parsing library for the cats ecosystem
Last synced: 31 Jul 2025
https://github.com/typelevel/cats-effect-testing
Integration between cats-effect and test frameworks
cats cats-effect minitest scala scalatest specs2 utest
Last synced: 15 May 2025
https://github.com/typelevel/paiges
an implementation of Wadler's a prettier printer
Last synced: 31 Jul 2025
https://github.com/typelevel/grackle
Grackle: Functional GraphQL for the Typelevel stack
Last synced: 11 Jan 2026
https://github.com/typelevel/otel4s
An OpenTelemetry library for Scala based on Cats-Effect
cats cats-effect metrics opentelemetry scala tracing typelevel
Last synced: 13 Apr 2025
https://github.com/typelevel/sbt-typelevel
Let sbt work for you.
sbt sbt-plugin scala typelevel
Last synced: 09 Oct 2025
https://github.com/typelevel/spotted-leopards
Proof of concept for a cats-like library built using Dotty features
functional-programming scala typelevel
Last synced: 31 Jul 2025
https://github.com/typelevel/literally
Compile time validation of literal values built from strings
Last synced: 31 Jul 2025
https://github.com/typelevel/vault
Type-safe, persistent storage for values of arbitrary types
Last synced: 31 Jul 2025
https://github.com/typelevel/coop
Cooperative multithreading as a pure monad transformer
cats concurrency fibers free monads scala
Last synced: 05 Apr 2025
https://github.com/typelevel/twiddles
Micro-library for building effectful protocols
Last synced: 31 Jul 2025
https://github.com/typelevel/case-insensitive
A case-insensitive string for Scala
case-insensitive cats scala string
Last synced: 14 Sep 2025
https://github.com/typelevel/simulacrum-scalafix
Simulacrum as Scalafix rules
Last synced: 31 Jul 2025
https://github.com/typelevel/discipline-munit
MUnit binding for Typelevel Discipline
Last synced: 31 Jul 2025
https://github.com/typelevel/scalaz-scalatest
Scalatest bindings for scalaz.
Last synced: 14 Jan 2026
https://github.com/typelevel/cats-uri
URI implementation based on cats-parse with cats instances
Last synced: 31 Jul 2025
https://github.com/typelevel/discipline-specs2
Specs2 Integration for Discipline
Last synced: 15 Oct 2025
https://github.com/typelevel/scalacheck-xml
Scalacheck instances for scala-xml
Last synced: 31 Jul 2025
https://github.com/typelevel/.github
a ✨special ✨ repository for project defaults and organization readme
Last synced: 07 Feb 2026
https://github.com/typelevel/await-cirrus
Depend on Cirrus CI from a GitHub Actions workflow
Last synced: 31 Jul 2025
https://github.com/typelevel/log4cats-natchez
log4cats backend that provides a Logger[F] given a Trace[F] from Natchez
log4cats logging natchez tracing
Last synced: 08 Sep 2025
https://github.com/typelevel/foundation
governance for the Typelevel Foundation
Last synced: 23 Jan 2026