Typelevel

Welcome to Typelevel!

We are an ecosystem of Scala-based projects and a community of people united to foster an inclusive, welcoming, and safe environment around functional programming. We work together to develop projects that apply functional programming to challenging problems relevant in industry. Our community culture embraces curiosity and mentoring and we don't shy away from experimenting with new and exciting ideas. Most of all, we love to make programming joyful and social.

Get involved!

🐣 Learn 🌱 Good First Issues 🧑‍🏫 Virtual Meetups 🤝 Code of Conduct

Find us on...

🌐 typelevel.org 💬 Discord 🦋 Bluesky 🐘 Mastodon 📺 YouTube 👔 LinkedIn 🩷 GitHub Sponsors

Pinned Loading

Lightweight, modular, and extensible library for functional programming.

Scala 5.5k 1.2k
Compositional, streaming I/O library for Scala

Scala 2.4k 630
Property-based testing for Scala

Scala 2k 396
Powerful new number types and numeric abstractions for Scala.

Scala 1.8k 238
The pure asynchronous runtime for Scala

Scala 2.2k 574
Flexible law checking for Scala

Scala 336 60

Repositories

Showing 10 of 115 repositories

typelevel/munit-cats-effect’s past year of commit activity

Scala
158
Apache-2.0
38 4 4
Updated Jun 21, 2026
mouse Public
A small companion to cats

typelevel/mouse’s past year of commit activity

Scala
375
MIT
66 4 5
Updated Jun 21, 2026
log4cats Public
Logging Tools For Interaction with cats-effect

typelevel/log4cats’s past year of commit activity

Scala
416
Apache-2.0
79 13 15
Updated Jun 21, 2026
vault Public
Type-safe, persistent storage for values of arbitrary types

typelevel/vault’s past year of commit activity

Scala
84
MIT
20 1 2
Updated Jun 21, 2026
keypool Public
A Keyed Pool Implementation for Scala

typelevel/keypool’s past year of commit activity

Scala
39
MIT
16 8 8
Updated Jun 21, 2026
otel4s-sdk Public
Implementation of the otel4s SDK modules in Scala from scratch

typelevel/otel4s-sdk’s past year of commit activity
typelevel/typelevel.g8’s past year of commit activity

Scala
14 6 8 2
Updated Jun 21, 2026
cats-effect Public
The pure asynchronous runtime for Scala

typelevel/cats-effect’s past year of commit activity
typelevel/shapeless-3’s past year of commit activity

Scala
201 25 5 2
Updated Jun 20, 2026
typelevel/scalacheck-effect’s past year of commit activity

Scala
82
Apache-2.0
25 6 4
Updated Jun 20, 2026