Repositories list

• cats

  Public

  typelevel/cats’s past year of commit activity
  Lightweight, modular, and extensible library for functional programming.

  Scala

  •

  Other

  •1.2k•5.4k•217•42•Updated Dec 17, 2025Dec 17, 2025

• natchez-http4s

  Public

  typelevel/natchez-http4s’s past year of commit activity
  Glorious integration layer for Natchez and Http4s.

  Scala

  •

  MIT License

  •18•50•4•2•Updated Dec 17, 2025Dec 17, 2025

• typelevel.g8

  Public

  typelevel/typelevel.g8’s past year of commit activity
  A typelevel.g8 based on sbt-typelevel

  scalasbtgiter8

  Scala

  •6•15•8•0•Updated Dec 17, 2025Dec 17, 2025

• cats-collections

  Public

  typelevel/cats-collections’s past year of commit activity
  Data structures for pure functional programming in Scala

  Scala

  •

  Other

  •104•562•14•6•Updated Dec 17, 2025Dec 17, 2025

• scalacheck-effect

  Public

  typelevel/scalacheck-effect’s past year of commit activity
  Effectful property testing built on ScalaCheck

  Scala

  •

  Apache License 2.0

  •26•83•6•2•Updated Dec 16, 2025Dec 16, 2025

• scalac-options

  Public

  typelevel/scalac-options’s past year of commit activity
  A library for configuring scalac options

  Scala

  •

  Apache License 2.0

  •14•45•7•5•Updated Dec 16, 2025Dec 16, 2025

• scalacheck

  Public
  Property-based testing for Scala

  scalascalacheckproperty-testing

  Scala

  •

  BSD 3-Clause "New" or "Revised" License

  •401•2k•54•9•Updated Dec 16, 2025Dec 16, 2025

• scalac-compat

  Public

  typelevel/scalac-compat’s past year of commit activity
  Lightweight tools for tackling Scalac version incompatibilities

  Scala

  •

  Apache License 2.0

  •3•9•0•0•Updated Dec 16, 2025Dec 16, 2025

• discipline-scalatest

  Public

  typelevel/discipline-scalatest’s past year of commit activity
  ScalaTest binding for Discipline

  Scala

  •

  MIT License

  •17•20•1•1•Updated Dec 16, 2025Dec 16, 2025

• discipline-specs2

  Public
  Specs2 Integration for Discipline

  Scala

  •

  MIT License

  •11•9•0•0•Updated Dec 16, 2025Dec 16, 2025

• discipline

  Public

  typelevel/discipline’s past year of commit activity
  Flexible law checking for Scala

  scalatypelevelproperty-based-testing

  Scala

  •

  MIT License

  •58•335•5•0•Updated Dec 16, 2025Dec 16, 2025

• discipline-munit

  Public
  MUnit binding for Typelevel Discipline

  Scala

  •15•25•1•1•Updated Dec 16, 2025Dec 16, 2025

• weaver-test

  Public

  typelevel/weaver-test’s past year of commit activity
  A test framework that runs everything in parallel.

  Scala

  •

  Other

  •14•76•27•11•Updated Dec 16, 2025Dec 16, 2025

• vault

  Public
  Type-safe, persistent storage for values of arbitrary types

  Scala

  •

  MIT License

  •20•83•1•1•Updated Dec 16, 2025Dec 16, 2025

• shapeless-3

  Public
  Generic programming for Scala

  Scala

  •24•198•5•1•Updated Dec 16, 2025Dec 16, 2025

• typelevel-scalafix

  Public
  Scalafix rules for Typelevel projects

  Scala

  •

  Apache License 2.0

  •8•26•18•10•Updated Dec 16, 2025Dec 16, 2025

• twiddles

  Public
  Micro-library for building effectful protocols

  scalatypelevelfp

  Scala

  •

  BSD 3-Clause "New" or "Revised" License

  •4•69•1•3•Updated Dec 16, 2025Dec 16, 2025

• toolkit

  Public

  typelevel/toolkit’s past year of commit activity
  Quickstart your next app with the Typelevel Toolkit!

  catsscalatoolkit+ 1scala-cli

  Scala

  •

  Apache License 2.0

  •9•97•8•13•Updated Dec 16, 2025Dec 16, 2025

• squants

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

  Scala

  •

  Apache License 2.0

  •123•930•43•20•Updated Dec 16, 2025Dec 16, 2025

• spire

  Public

  typelevel/spire’s past year of commit activity
  Powerful new number types and numeric abstractions for Scala.

  Scala

  •

  MIT License

  •240•1.8k•133•30•Updated Dec 16, 2025Dec 16, 2025

• skunk

  Public
  A data access library for Scala + Postgres.

  catspostgresscala+ 6databasefunctional-programmingtypelevelfs2scodeccats-effect

  Scala

  •

  MIT License

  •166•1.6k•78•11•Updated Dec 16, 2025Dec 16, 2025

• scalacheck-xml

  Public
  Scalacheck instances for scala-xml

  Scala

  •1•5•0•2•Updated Dec 16, 2025Dec 16, 2025

• kittens

  Public
  Automatic type class derivation for Cats

  Scala

  •

  Apache License 2.0

  •66•545•7•1•Updated Dec 16, 2025Dec 16, 2025

• sbt-tpolecat

  Public
  scalac options for the enlightened

  scalasbtsbt-plugin+ 1compiler-options

  Scala

  •

  Apache License 2.0

  •55•405•11•11•Updated Dec 16, 2025Dec 16, 2025

• paiges

  Public
  an implementation of Wadler's a prettier printer

  scalalayoutpretty-print

  Scala

  •

  Apache License 2.0

  •30•188•5•12•Updated Dec 16, 2025Dec 16, 2025

• otel4s-experimental

  Public

  typelevel/otel4s-experimental’s past year of commit activity
  Scala

  •

  Apache License 2.0

  •2•7•0•6•Updated Dec 16, 2025Dec 16, 2025

• otel4s

  Public
  An OpenTelemetry library for Scala based on Cats-Effect

  catsscalametrics+ 4typeleveltracingcats-effectopentelemetry

  Scala

  •

  Apache License 2.0

  •44•201•20•5•Updated Dec 16, 2025Dec 16, 2025

• natchez

  Public
  functional tracing for cats

  catsscalatracing+ 4opentracinghoneycombjaegercats-effect

  Scala

  •

  MIT License

  •78•337•16•14•Updated Dec 16, 2025Dec 16, 2025

• munit-cats-effect

  Public
  Integration library for MUnit & cats-effect

  Scala

  •

  Apache License 2.0

  •38•153•5•4•Updated Dec 16, 2025Dec 16, 2025

• mouse

  Public
  A small companion to cats

  catsscalatypelevel

  Scala

  •

  MIT License

  •66•376•4•4•Updated Dec 16, 2025Dec 16, 2025