Typelevel

We do functional programming together!

Verified
We've verified that the organization typelevel controls the domain:
- typelevel.org
Learn more about verified organizations

Overview
Repositories
Discussions
Projects
Packages
People

README.md

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 🌱 Start Contributing 🧑‍🏫 Virtual Meetups 🤝 Code of Conduct

Find us on...

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

Pinned Loading

cats cats Public

Lightweight, modular, and extensible library for functional programming.

Scala 5.5k 1.2k
fs2 fs2 Public

Compositional, streaming I/O library for Scala

Scala 2.5k 635
scalacheck scalacheck Public

Property-based testing for Scala

Scala 2k 393
spire spire Public

Powerful new number types and numeric abstractions for Scala.

Scala 1.8k 239
cats-effect cats-effect Public

The pure asynchronous runtime for Scala

Scala 2.2k 577
discipline discipline Public

Flexible law checking for Scala

Scala 337 60

Repositories

Type Language Sort

jawn Public
Jawn is for parsing jay-sawn (JSON)

typelevel/jawn's past year of commit activity

Scala 436 72 12 5 Updated Aug 28, 2026
case-insensitive Public
A case-insensitive string for Scala

typelevel/case-insensitive's past year of commit activity

Scala 38 Apache-2.0 15 5 5 Updated Aug 28, 2026
scalacheck-xml Public
Scalacheck instances for scala-xml

typelevel/scalacheck-xml's past year of commit activity

Scala 5 1 0 5 Updated Aug 28, 2026
kind-projector Public
Compiler plugin for making type lambdas (type projections) easier to write

typelevel/kind-projector's past year of commit activity

Scala 924 MIT 76 10 (4 issues need help) 0 Updated Aug 28, 2026
cats-time Public
Cats Instances for Java Time

typelevel/cats-time's past year of commit activity

Scala 94 MIT 20 1 3 Updated Aug 28, 2026
cats Public
Lightweight, modular, and extensible library for functional programming.

typelevel/cats's past year of commit activity

Scala 5,458 1,245 224 (7 issues need help) 57 Updated Aug 28, 2026
grackle Public
Grackle: Functional GraphQL for the Typelevel stack

typelevel/grackle's past year of commit activity

Scala 189 Apache-2.0 32 21 8 Updated Aug 28, 2026
natchez Public
functional tracing for cats

typelevel/natchez's past year of commit activity

Scala 340 MIT 77 16 16 Updated Aug 28, 2026
cats-effect Public
The pure asynchronous runtime for Scala

typelevel/cats-effect's past year of commit activity

Scala 2,236 Apache-2.0 577 197 (7 issues need help) 31 Updated Aug 28, 2026
scalac-options Public
A library for configuring scalac options

typelevel/scalac-options's past year of commit activity

Scala 48 Apache-2.0 17 6 7 Updated Aug 28, 2026